[llvm] [IR] Fix UB on Op<2> in ShuffleVector predicates (PR #75549)

[Reid Kleckner via llvm-commits]

rnk wrote:

It occurs to me that there's a missed opportunity to add some kind of bounds check assertion to the static index `Op<>` accessor helpers.

https://github.com/llvm/llvm-project/pull/75549