Perform solution checking. Both us and solvers can be buggy.

This would be a partial remedy for numerical issues as well, see ampl/escrow/issues/102.