Repository navigation

Kani

Apply Rust formatting and code style improvements across codebase #222

Job	Run time
Proof unit tests (betting-market)	17s
Proof unit tests (order-book)	26s
Proof unit tests (prop-amm)	16s
Proof unit tests (vault-strategy)	28s
Proof unit tests (lending)	15s
Proof unit tests (options)	8s
Proof unit tests (token-fundraiser)	13s
Proof unit tests (escrow)	31s
Proof unit tests (token-swap)	36s
Kani proofs (${{ matrix.program }})	-1s
	3m 9s