ConstraintAnalysis: Add inequality comparisons to constants (#8924)

When seeing if `x == C` proves `x >= D`, we can just apply `C >= D`.

And, in reverse, `x >= D` may imply `x != C` if `C < D`.