We have some hand-written tests, but I would like to have more thorough tests that check the whole space, to make sure that any changes to the algorithm, such as #7077, don't change the resulting behavior.

I wonder if we could leverage the Arbitrary impls from #7206 to assist in this.