[llvm] [mlir] [mlir] Reland SymbolUserTypeInterface with verification proportional to participating IR (PR #212354)

[Jeff Niu via llvm-commits]

Mogball wrote:

Hey just commenting here that your original pull request can also cause compiler blowups when validating large LLVM types. Compiler programs that used to take ~500 MB of memory blew up to >16GB and started crashing my laptop :/ 

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