feat(verifier): check dominance#944

regehr wants to merge 12 commits into

mainopencompl/veir:mainfrom

regehr/dominance-checkeropencompl/veir:regehr/dominance-checkerCopy head branch name to clipboard