[DAGCombiner] Make it so that `udiv` can be folded with `(select c, NonZero, 1)`

This is done by allowing speculation of `udiv` if we can prove the
denominator is non-zero.

https://alive2.llvm.org/ce/z/VNCt_q

Differential Revision: https://reviews.llvm.org/D149198