In any case, the solver3 branch now has a list of tests broken by solver and runs the remaining ones to avoid regressions in them from future solver changes.
I'm working on the list to reduce failing test cases which is going to be a necessary step for the solver3 beta 1 milestone, alongside better error messages.
Some test cases are basically fixed if not for the autoremoval listing/handling. It's a bit sad.
Basically 84 tests are failing, 304 are passing currently.