ConstraintAnalysis: Handle contradictions we find during other work (#8906)

We may find the contradiction while flipping or applying another local's
constraints, see the testcase. We just need to notice when we find a
contradiction and stop there, as further work will hit other assertions
(on us not doing stuff when already unreachable).