bump Iris; fix for big-op move

1 job for gen_proofmode in 14 minutes and 39 seconds (queued for 22 minutes and 11 seconds)