Bump rewriter from `9dd74a9` to `edcec73` (#1918) #887

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	39m 40s
install (dev, macOS, macos-latest, 4.14.2)	32m 8s
install (dev, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https://...	1h 30m 47s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	39m 53s
install (8.19.0, macOS, macos-latest, 4.14.2)	33m 5s
install (8.19.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 32m 58s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	41m 38s
install (8.18.0, macOS, macos-latest, 4.14.2)	36m 45s
install (8.18.0, Windows, windows-latest, 4.11.1, -async-proofs-j 1, opam-repository-mingw: https...	1h 41m 17s
	8h 28m 11s

Provide feedback