Prateek Gupta

Failing reserves invariant after bucket take

1

## Description - Some reserves invariant failed after `bucketTake` when reserves were too large (>~1e30). Added following failing reserves invariant regressions. - Fix failing regressions by updating `reservesErrorMargin = (reservesAfterAction...

## Description - Update `auctionInfo` to return borrower `t0ReserveSettleAmount` from the pool. - Update `_assertAuction` to check borrower `t0ReserveSettleAmount`. - Add invariant A10: Upon kick `t0ReserveSettleAmount` should be set to...

Contract size improvements

1

## Description - Remove the `_determineInflatorState` method and add the method logic into the `Pool` contract. - Remove the `_getCollateralDustPricePrecisionAdjustment` method and add the method logic into the `ERC20Pool` contract....