bump Iris, and comment a few printing commands

_CoqProject

semantics.opam

theories/program_logics/concurrency.v

theories/program_logics/fupd.v

theories/program_logics/hoare.v

theories/program_logics/ipm.v

theories/program_logics/later_loeb.v

theories/program_logics/logrel/ghost_state.v

theories/program_logics/program_logic/adequacy.v

theories/program_logics/reloc/src_rules.v

theories/program_logics/resource_algebras.v