Bump rewriter from `edd0611` to `8ab716a` (#1988) #926

Job	Run time
install (dev, Ubuntu, ubuntu-latest, 4.09.1)	41m 6s
install (dev, macOS, macos-latest, 4.14.2)	3m 58s
install (dev, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml/oc...	1h 33m 25s
install (8.19.0, Ubuntu, ubuntu-latest, 4.09.1)	42m 29s
install (8.19.0, macOS, macos-latest, 4.14.2)	4m 4s
install (8.19.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 42m 4s
install (8.18.0, Ubuntu, ubuntu-latest, 4.09.1)	44m 14s
install (8.18.0, macOS, macos-latest, 4.14.2)	4m 14s
install (8.18.0, Windows, windows-latest, 4.13.1, -async-proofs-j 1, git+https://github.com/ocaml...	1h 41m 43s
	7h 17m 17s

Provide feedback