Description of change

High level

Issue 1 : LUP index calculated in PoolUtils can differ from the Pool calculated LUP index, due to inconsistent rounding. Also, the Debt calculated in contracts was inconsistent in terms of roundup and round to nearest. This caused mismatched values in the PoolInfoUtils and invariants.
- Fixed by updating all debt calculations to always round up.
Issue 2: Fixing issue 1 in PR #876 uncovered bug in updating t0DebtInAuction when auction settled with repayDebt (A1 invariant violation)
- auction was settled but the quote token amount calculated to repay was rounded down to 0
- since t0 debt in auction accumulator was updated only when token amount to repay was not 0, the t0debtInAuction accumulator wasn't updated, leaving it in an inconsistent state
- Fixed by always updating t0debtInAuction accumulator when there's a t0 auction debt change and not constrained by the amount of quote tokens to be paid (same applied in case of pledged collateral too): 07e81d5

============ Deployment Bytecode Sizes ============
  ERC721Pool               -  24,404B  (99.30%)
  ERC20Pool                -  23,632B  (96.15%)

============ Deployment Bytecode Sizes ============
  ERC721Pool               -  24,391B  (99.24%)
  ERC20Pool                -  23,619B  (96.10%)