Rewrite the run function of solvers to make it more testable

[zaccharieramzi]

Currently the model consistency test rewrites a lot of what is done in the run function of the solvers.
It would be nice to refactor that to have the model consistency test be as close as possible to what is done in the solvers.