chore: update invariant tests (#337)

* add clearing price max invariant

* fix mock auction setup and add handleExitBid

* optimize exit bid invariant handler

Co-authored-by: Cursor <cursoragent@cursor.com>

* working state for invariant tests

* add new invariants

* rm

* fix up generators

* Simplify fuzz value generation

Co-authored-by: Cursor <cursoragent@cursor.com>

* Fix invariant checkpoint mutability

Co-authored-by: Cursor <cursoragent@cursor.com>

* Improve invariant bid generation

Co-authored-by: Cursor <cursoragent@cursor.com>

* fix up

* rm ll

---------

Co-authored-by: Cursor <cursoragent@cursor.com>

Author: zhongeric