Drop checking for optimal solution in solve!

The check for optimality in solve! is something that can be done by user code.  Dropping the check for optimality in solve! allows the values that the solver found (regardless of their meaning) to be exposed to the user after solve! has finished.

All tests in the tests directory still pass after this change, so it seems like this is more or less a completely "cosmetic" commit.  

Thanks!