Bump rewriter from `b1e8367` to `9dd74a9` (#1904) #875

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	40m 23s
install (dev, macOS, macos-latest, 4.14.2)	36m 0s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...	1h 39m 19s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	40m 34s
install (8.19.0, macOS, macos-latest, 4.14.2)	35m 21s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 37m 25s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	42m 5s
install (8.18.0, macOS, macos-latest, 4.14.2)	33m 56s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 44m 25s
	8h 49m 28s

Provide feedback