Kani

docs: fix stale test commands, dead links, and convert finance README tables to prose #49

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

Provide feedback