Upgrade Irmin to allow CPTP Merkle Proofs
Acceptance Criteria: irmin
related Opam packages have been upgraded to incorporate a version supporting Compressed Partial Tree Merkle Proofs.
Added in this PR: https://github.com/mirage/irmin/pull/1625
Depends on an Irmin release incorporating this (currently target 2.10).
Edited by Hans Hoglund