Add Invariant test for the functions removeLiquidity + creditFee

[henry-hz]

@malka8580 make sure you have the last master version:

git add .
git commit -m "wip"
git fetch origin
git merge origin/master

[malka8580]

The tests for the function removeLiquidity : (i have a problem with the github, i will fix it tomorrow)

function invariant_LiquidityRemovalValid() public { uint256 totalLiquidity = pool.getTotalLiquidity(); // Assuming there is a state variable removedLiquidity that tracks how much liquidity has been removed uint256 removedLiquidity = pool.getRemovedLiquidity(); assert(totalLiquidity >= removedLiquidity); }

function invariant_TotalLiquidityConsistent() public { uint256 totalLiquidity = pool.getTotalLiquidity(); uint256 sumOfIndividualPools = pool.getSumOfIndividualPools(); assert(totalLiquidity == sumOfIndividualPools); }