no longer reftest old Coq 8.9
This adds Coq 8.9 to the Coq versions for which we do not expect tests to produce the right output. That lets us remove the annoying ltac backtraces.
This adds Coq 8.9 to the Coq versions for which we do not expect tests to produce the right output. That lets us remove the annoying ltac backtraces.