evm: use bound instead of assume

Author: Rahul Maganti

evm/test/RateLimit.t.sol

@@ -918,7 +918,7 @@ contract TestRateLimit is Test, IRateLimiterEvents {
         uint256 totalAmt = (type(uint64).max) / (10 ** decimals);
         // avoids the ZeroAmount() error
         // cannot transfer more than what's available
-        vm.assume(transferAmt > 0 && transferAmt <= totalAmt);
+        transferAmt = bound(transferAmt, 1, totalAmt);
         // this ensures that the transfer is always queued up
         vm.assume(limitAmt < transferAmt);
 

evm/test/TrimmedAmount.t.sol

@@ -316,7 +316,7 @@ contract TrimmingTest is Test {
         uint256 untrimmedAmt = trimmedAmt.untrim(fromDecimals);
         uint256 untrimmedAmt2 = trimmedAmt2.untrim(fromDecimals);
 
-        // trimming is the left inverse of trimming
+        // trimming is the left inverse of untrimming
         // invariant: forall (x: TrimmedAmount, fromDecimals: uint8, toDecimals: uint8),
         //            (x.amount <= type(uint64).max)
         //                    => (trim(untrim(x)) == x)