Kani

Tighten Kani proof bounds for solver tractability #82

Job	Run time
Proof unit tests (lending)	15s
Proof unit tests (betting-market)	16s
Proof unit tests (prop-amm)	17s
Proof unit tests (vault-strategy)	17s
Proof unit tests (token-fundraiser)	13s
Proof unit tests (order-book)	14s
Proof unit tests (escrow)	16s
Proof unit tests (token-swap)	20s
Kani proofs (${{ matrix.program }})	-1s
	2m 7s

Provide feedback