[ValueTracking] Improve tracking for constant range of `{s|u}rem C, x`

Current we only support `C` as the remainder, but we can also limit
with a constant numerator.

Proofs: https://alive2.llvm.org/ce/z/QB95gU

Closes #82303