Merge pull request #2053 from JasonGross/print-rewriting-pass-default #985

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	40m 3s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...	1h 31m 59s
install (dev, macOS, macos-latest, 4.14.2)	43m 27s
install (8.19.0, macOS, macos-latest, 4.14.2)	45m 35s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	59s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1m 6s
install (8.20.0, macOS, macos-latest, 4.14.2)	35m 11s
install (8.20.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1m 13s
install (8.18.0, macOS, macos-latest, 4.14.2)	38m 8s
install (8.20.0, Ubuntu, ubuntu-latest, 4.09.1)	1m 36s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	27s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	29s
	5h 0m 13s

Provide feedback