[NFC][CVP] Add tests for possible sdiv->udiv where operands are not non-negative

Currently that fold requires both operands to be non-negative,
but the only real requirement for the fold is that we must know
the domains of the operands.