Adding Solver::solve(assumptions) feature to DIMACS parsing
Oops, "--pain" should not mean that we don't print the solution
Using the regression test from CryptoMS 3 for more features

Also, updating it to use the old option set
We must limit the solving time when doing fuzzing