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`)
For now it needs to be on master because I'm improving FactCheck as I go