feat: add --to-module, --minimize-proof, and --add-module CLI options#907

automergerpr-permission-manager[bot] merged 3 commits intomasterruntimeverification/mir-semantics:masterfrom

jh/draft-cseruntimeverification/mir-semantics:jh/draft-cseCopy head branch name to clipboard