chore(spl): update changes in #124, #134 for spl-token specs#135

jberthold merged 2 commits intoproofsruntimeverification/solana-token:proofsfrom

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