perf(test): remove redundant integration test executions#972

Stevengre wants to merge 11 commits intomasterruntimeverification/mir-semantics:masterfrom

jh/reduce-integration-test-timeruntimeverification/mir-semantics:jh/reduce-integration-test-timeCopy head branch name to clipboard