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.