solver: Check bounds for validity.