Spar Polysemy: Split VerdictFormatStore from AReqIdStore

[isovector]

This PR splits VerdictFormatStore from the AReqIdStore effect, which was accidentally paired together when I was separating effects.

Also did some related cleanup around orphan instances.

Checklist

• The PR Title explains the impact of the change.
• The PR description provides context as to why the change should occur and what the code contributes to that effect. This could also be a link to a JIRA ticket or a Github issue, if there is one.
• A file with the changelog entry in one or more suitable sub-sections. The sub-sections are marked by directories inside changelog.d.