DON'T MERGE: Add OpenVM2 SWIRL soundness support#1

jonathanpwang wants to merge 4 commits intomainopenvm-org/soundcalc:mainfrom

feat/openvm2openvm-org/soundcalc:feat/openvm2Copy head branch name to clipboard