updated validator, now also computes objective value correctly
refactoring
created tests for SolverValidator