fix(spl): align test_process_mint_to_checked's assumption to p-token#147

Stevengre wants to merge 7 commits intoproofsruntimeverification/solana-token:proofsfrom

jh/fix_mint_to_checked_remoteruntimeverification/solana-token:jh/fix_mint_to_checked_remoteCopy head branch name to clipboard