chore(spl): Merged Assert `result.is_ok()` for `InitializeMint{2}` harnesses#141

Stevengre merged 1 commit intoproofsruntimeverification/solana-token:proofsfrom

jh/update-splruntimeverification/solana-token:jh/update-splCopy head branch name to clipboard