[ConstraintElimination] Add support for UCMP/SCMP intrinsics (#97974)

This adds checks to fold calls to `ucmp`/`scmp` where a comparative
relationship between the arguments can be established.