Add Kani formal-verification proofs for the finance programs (+ two program hardenings)#85

mikemaccana merged 10 commits into

mainquicknode/solana-program-examples:mainfrom

claude/escrow-kani-tests-i3q98gquicknode/solana-program-examples:claude/escrow-kani-tests-i3q98gCopy head branch name to clipboard