bump Iris, update for frac_auth notation

3 jobs for master in 2 minutes and 38 seconds (queued for 5 minutes and 47 seconds)
Status Job ID Name Coverage
  Build
canceled #34563
fp
build-coq.8.7.2

passed #34562
fp
build-coq.8.8.2

00:02:10

passed #34561
fp
build-coq.8.9.0

00:02:38