balancer-v2-vault-accounting-review curve-stableswap-invariant-lab erc4626-vault-invariant-lab staking-rewards-accounting-lab bridge-accounting-invariant-lab uniswap-v3-liquidity-simulation panoptic-premium-simulation oracle-manipulation-case-study liquidation-edge-case-lab reward-distribution-bug-reproduction