feat(state-tree)!: implement verify for Merkle in/exclusion proofs

[sdbondi]

Description

feat(state-tree): implement verify for Merkle in/exclusion proofs
fix(consensus)!: include substate version in JMT node hashes

Motivation and Context

Implement inclusion and exclusion proofs for JMT. This is useful for command inclusion proofs e.g. eviction proof as well as inclusion proofs for substates.

Usage:

let (key, proof_value, proof) = tree.get_proof(current_version, &substate_id).unwrap();
let value_hash = hash_substate(substate);
proof.verify_inclusion(&root_hash, &key, &value_hash).unwrap();
proof.verify_exclusion(&root_hash, &some_non_existing_key).unwrap();

How Has This Been Tested?

Unit tests, manually

What process can a PR reviewer use to test or verify this change?

Breaking Changes

• None
• Requires data directory to be deleted
• Other - Please specify

BREAKING CHANGE: substate changes for JMT state tree include the substate version in the key hash

[github-actions]

Test Results (CI)

567 tests  +1   567 ✅ +1   1h 37m 20s ⏱️ -51s
 54 suites ±0     0 💤 ±0 
  1 files   ±0     0 ❌ ±0 

Results for commit 358a65c. ± Comparison against base commit 27e2516.