refacor: make the specs of spl-token and p-token easy to check consistency#150

automergerpr-permission-manager[bot] merged 22 commits intoproofsruntimeverification/solana-token:proofsfrom

jh/common-harnessruntimeverification/solana-token:jh/common-harnessCopy head branch name to clipboard