ConstraintAnalysis: Add OR fusing of { x == C || x > C } => x >= C (#8936)

This is common in loops, where there is an initial value + a backedge
that has an incremented but bounded value.

To implement this, add full expansion of the OR of two AndedConstraintSets
into ANDs of the ORs of all their elements, and thorough checking there.