Brig: Remove redundant constraints

[isovector]

While doing some polysemy work on brig, I noticed a bunch of redundant constraints. These make it harder to determine which code paths actually require cleaning up before polysemization, so I decided to do a quick cleanup here.

There are also some unrelated changes that make format has been yelling at me about for several PRs now.

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.
• changelog.d contains the following bits of information (details):
  • A file with the changelog entry in one or more suitable sub-sections. The sub-sections are marked by directories inside changelog.d.

[isovector]

@mdimjasevic PTAL

[isovector]

This is ready to merge!

[mdimjasevic]

@isovector , my apologies for being slow to react: a combination of being busy with MLS and short absences from work. This one got merged and hopefully I'll be faster to follow up in the future.

On a related note, I have a rather long-standing PR #2450. Hopefully I'll make the PR ready for review some time soon.