tests(cargo-kani): add solana agent escrow example#4549

mizuki0x wants to merge 2 commits intomodel-checking:mainmodel-checking/kani:mainfrom

mizuki0x:kamiyo/kani-agentic-program-verification-primitivesmizuki0x/kani:kamiyo/kani-agentic-program-verification-primitivesCopy head branch name to clipboard