WIP: FactCheck switchover

Did this on the plane. 
Includes running all solver-dependent tests on all solvers, and removing `solve` calls where they weren't needed (replacing with `setValue`)