After Iris 3.1 is released:
Switching timing measurements to the Coq 8.7 build.
Drop support for Coq 8.6?
Drop opam dependency on ssreflect, use the one embedded in Coq instead.
Are there other work-arounds we can remove or new features we want to make use of?