Write Foundry invariant tests for our AMM

Add invariant/fuzz tests covering k-value preservation, no-free-lunch, and fee accounting for our constant-product pool. Target meaningful coverage and document each invariant.