Bump Iris and get rid of some annotations.

2 jobs for ci/iris-update in 24 minutes and 59 seconds (queued for 1 second)
Status Name Job ID Coverage
  Test
passed igps-coq8.6.1 #3521
fp-timing

00:24:59

passed iris-coq8.7 #3520
fp-timing

00:18:15