[llvm] [WebAssembly] Support type checker for new EH (PR #111069)

[Heejin Ahn via llvm-commits]

aheejin wrote:

Just realized that this does not support `try_table` targeting loops. Will do that as a follow-up.

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