Revert "Bump Iris."

This reverts commit b1eb1a06, to get initial timing without that commit.
Status Job ID Name Coverage
  Build
canceled #26976
fp
build-coq.8.9.0

canceled #26975
fp
build-coq.dev