[llvm] [TBAA] Add verifier for tbaa.struct metadata (PR #86709)

[Christian Ulmann via llvm-commits]

Dinistro wrote:

Note: In my case some of the broken memcpy intrinsics seem to stem from IR produced from libc++'s basic_string files.

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