Fix MIR dump to emit one MIR per-harness#2556

celinval merged 1 commit intomodel-checking:mainmodel-checking/kani:mainfrom

celinval:issue-xxxx-dump-mircelinval/kani-dev:issue-xxxx-dump-mirCopy head branch name to clipboard