merkledb
-- clarify/improve change proof invariants
#1810
Merged
merkledb
-- clarify/improve change proof invariants
#1810