fix(programs): add MintCloseAuthority as restricted extension (M-03)#2263

ananas-block merged 2 commits intomainLightprotocol/light-protocol:mainfrom

jorrit/fix-certora-m03-mint-close-authorityLightprotocol/light-protocol:jorrit/fix-certora-m03-mint-close-authorityCopy head branch name to clipboard