Rename a variable to be closer to reality.
Go crazy, spam constraints.

This or's in the seen-opponents into the corresponding portion of the
tracking array. Uuuughh.
Some memory management.
No need for specialised int sorts.

They're all bv's of width teams.
Print variables for met-goodness tracking.
Place real constraints on met-goodness.
Deinfe the zeroprefix zero prefix
bvadd, not '+'
Off-by-one using extract.