[SLP] allow matching integer min/max intrinsics as reduction ops

This is a 2nd try of:
3c8473ba
which was reverted at:
 a26312f9
because of crashing.

This version includes extra code and tests to avoid the known
crashing examples as discussed in PR49730.

Original commit message:
As noted in D98152, we need to patch SLP to avoid regressions when
we start canonicalizing to integer min/max intrinsics.
Most of the real work to make this possible was in:
7202f475

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