Refactor tests to use all solvers and FactCheck.jl