Add `--no-fail-fast` to compiletest#2145

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

celinval:issue-2144-failfastcelinval/kani-dev:issue-2144-failfastCopy head branch name to clipboard