https://github.com/gysit approved this pull request. Yeah I think dropping the verifier makes more sense. Sorry saw this only once I reviewed the actual solution... LGTM modulo some optional code style suggestion. https://github.com/llvm/llvm-project/pull/135092