Disable "could not create compact unwind" when linking with cplex on Mac
Remove problems that are difficult to solve from tests (these should be used in benchmarks instead).
Re-generate the test problems.
Add BasicSolver::Run. Move more tests to solver_test.