[llvm] IR: Add verifier plugins for intrinsic verification (PR #159415)

[Shilei Tian via llvm-commits]

shiltian wrote:

> I considered the alternative of adding a hook into TargetTransformInfo

TTI will not work because of circular dependence.

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