Added some tests, added some missing stuff to SolverStatistics