[LowerToHW] Avoid "assert/assume/cover" string comparison, refactor label creation, NFC#10251

uenoku wants to merge 1 commit intollvm:mainllvm/circt:mainfrom

uenoku:dev/hidetou/clean-up-verif-2uenoku/circt:dev/hidetou/clean-up-verif-2Copy head branch name to clipboard