[llvm] [Verifier] Reject incorrect types in assume operand bundles (PR #196446)

[Andreas Jonson via llvm-commits]

https://github.com/andjo403 approved this pull request.

looks good to me but wait for @nikic 

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