ConstrainedSolver: allow saving memory by disabling support for constraint-rhs updates in resolve. See merge request !65