Add `--fail-fast` and `--maintainence-rate` pyk flags#900

automergerpr-permission-manager[bot] merged 1 commit intomasterruntimeverification/mir-semantics:masterfrom

dc/fail-fast-maintainence-rateruntimeverification/mir-semantics:dc/fail-fast-maintainence-rateCopy head branch name to clipboard