[TIR] Improve well-formed check's handling of match buffer#16655

Lunderberg merged 2 commits intoapache:mainapache/tvm:mainfrom

Lunderberg:tir_well_formed_bugfixesLunderberg/tvm:tir_well_formed_bugfixesCopy head branch name to clipboard