[TIR] Allow VerifyWellFormed to accept IRModule#15247

Lunderberg merged 1 commit intoapache:mainapache/tvm:mainfrom

Lunderberg:verify_well_formed_irmoduleLunderberg/tvm:verify_well_formed_irmoduleCopy head branch name to clipboard