Verify backward-compatibility instructions (9/14), Part 2
Part of #370 (closed) Continuation of !767 (merged)
Finish the proofs of the instructions
ISapling_verify_udpate
ISelf
ISelf_address
Edited by Daniel Hilst
Part of #370 (closed) Continuation of !767 (merged)
Finish the proofs of the instructions
ISapling_verify_udpate
ISelf
ISelf_address