Remove now unused team count.
Take a shot at two-separate-schedule.
Remove now unused function
Combine a calculation with a let.

It doesn't seem like this makes much of a performance improvement; which
is too bad, I imagine it will as we start leaning on this calcumalation
more.
Match separation isn't used now either.
Pump out 3-match-separation constraints.
Introduce 4-match-separation contraints.

Turns out they're massively inefficient.
Use implies; negligable performance change
Record result of another test.
Correctly bound the separation constraint.

Looks like I forgot that the quantifier needs to only operate across
those rounds that are within the round limit.