Bump Iris. Cut the dependency over mathcomp SSR.

opam

theories/arith.v

theories/blocks.v

theories/blocks_generic.v

theories/escrows.v

theories/examples/circ_buffer.v

theories/examples/hashtable.v

theories/examples/kvnode.v

theories/examples/message_passing.v

theories/examples/msqueue.v

theories/examples/ro_test.v

theories/examples/ticket_lock.v

theories/examples/tstack.v

theories/gps/fractional.v

theories/gps/plain.v

theories/gps/singlewriter.v

theories/history.v

theories/infrastructure.v

theories/invariants.v

theories/logically_atomic.v