Avoid llvm-kompile when running proofs - rebooted#1079

dkcumming merged 4 commits into

masterruntimeverification/mir-semantics:masterfrom

jb/no-llvm-kompile-rebootedruntimeverification/mir-semantics:jb/no-llvm-kompile-rebootedCopy head branch name to clipboard