Kani

docs: correct testing documentation and commands; clean legacy references #38

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

Provide feedback