feat(dursto): Round-trip of Normal-Proof-Verify for MAVL Tree for non-structural-change operations#989

NSant215 merged 2 commits intomaintezos/riscv-pvm:mainfrom

santnr/mavltezos/riscv-pvm:santnr/mavlCopy head branch name to clipboard