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?