Beta/pool state changes

[Alexangelj]

Description

Major refactor to support a critical feature:

• Reinvest fees into the pool until a pool has a positive invariant.

Changelog

• Closes Use a magic variable to use max amount of tokens in all functions #185 with the addition of magical variables to use the "max" amount of tokens in operations fund and draw.
• Closes Precision loss in getLiquidityDeltas #181 with rounding up in scenarios where a positive amount of liquidity is being added.
• Closes [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195 with major refactor to the HyperPool struct. Replaces lastPrice with virtualX and virtualY variables. These are the WAD amounts of the x and y reserves per unit of liquidity. These are matched to real token balances with exact precision up to the maximum token decimals of 18.
• Misc: Updates _swapExactIn output argument to be used as the minAmountOut variable for validating the swap output is more than expected.
• Related to [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195: Updates _swap to use the pool's virtualX and virtualY for computing the swap invariant, instead of being derived from price.
• Misc: Removes priorityFeeGrowthGlobal tracking from _swap.
• Misc: Emits the approximated price of the pool after the swap in the Swap event.
• Related to [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195: Updates _computeSyncedPrice to compute the invariant using the virtualX and virtualY amounts of the pool.
• Related to [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195: Updates _syncPool to update virtualX and virtualY instead of price.
• Related to [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195: Updates _createPool to update the virtualX and virtualY variables, computed from price argument, instead of price.
• Misc: Adds a SwapInputTooSmall custom error, used in the function HyperLib.getAmountOut
• Misc: Updates HyperLib.getMaxLiquidity to compute max liquidity using WAD amounts instead of scaled amounts.
• Misc: Updates HyperLib.getAmountsWad to return the virtualX and virtualY amounts of the pool's HyperPool data struct.
• Misc: Removes unused computePriceChangeWithTime function.
• Misc: Updates both HyperLib.getMaxSwapAssetInWad and HyperLib.getMaxSwapQuoteInWad functions to use the HyperLib.getAmountsWad function instead of the Price.computeReserves function.
• Misc: Adds function HyperLib.getNextInvariant to compute the invariant at the current block.timestamp.
• Related to [High] Precision loss in Price library leads to virtual and physical reserves mismatch #195: Updates HyperLib.getAmountOut to match Hyper's _swap function logic flow.
• Misc: Updates Price.sol library to accept the invariant as an argument in getYWithX, getXWithY and computeReserves.
• Misc: Adds helper function Price.computeCurveChanges to get the next invariant after a change in time.
• Misc: Adds helper function Price.computeYWithChangeInTau.
• Misc: Updates Price.getXWithPrice function to only compute price if the result of the price divided by strike is not zero.
• Misc: Updates Price.getPriceWithX to handle edge cases.
• Misc: Updates solstat lib to commit d9600a065e4e59f7bc06b19363947774780aaaa0
• Misc: Refactors test suite to match refactored codebase.

Dependencies

• TOB-HYPR Week 3 Fixes #179 should be merged first.