Constraints: Don't store immediate contradictions (#9032)

We have a flag for it on AndedConstraintSet. When we are given an
immediate contradiction, set the flag rather than add it.

This makes the internal representation consistent, and later PRs
simpler.