verific: add -set_relaxed_checking option#5581

dhvll wants to merge 3 commits intoYosysHQ:mainYosysHQ/yosys:mainfrom

dhvll:verific-set_relaxed_checkingdhvll/yosys:verific-set_relaxed_checkingCopy head branch name to clipboard