Encapsulate `mod.rs::validate_owner` checks#68

JuanCoRo merged 3 commits intoproofsruntimeverification/solana-token:proofsfrom

encapsulate-validate-owner-checksruntimeverification/solana-token:encapsulate-validate-owner-checksCopy head branch name to clipboard