[circt-bmc] handle 'verif.formal' / 'verif.contract' op in module#10772

Clo91eaf wants to merge 3 commits into

llvm:mainllvm/circt:mainfrom

xinpian-tech:circt-bmc-verif-formalxinpian-tech/circt:circt-bmc-verif-formalCopy head branch name to clipboard