Productionize stateless proof mechanism

[patrick-ogrady]

• MerkleDB Stateless Views: https://github.com/ava-labs/avalanchego/pull/1648
• VM Implementation (HyperSDK-based): https://github.com/ava-labs/hypersdk/pull/214
• Slides: https://docs.google.com/presentation/d/1aLq9mRnCRSKiwphLo8gBLj7o-E7nrbz4CUFy78Rmr1c/edit

Discussion: #224

Shortlist of Changes:

• [ ] Binary Tree (4x smaller proofs)
• [ ] Proof Unification (unify txs proofs into a single tree)
• [ ] Relax Proof Inclusion (only include a proof if proof for value has not been included in window)
  • [ ] Extension: only include a proof if value has not been referenced in window (would need to track this pending state for state sync because nodes may not see a proof for said value for many blocks if a value is very active) -> this will require validator to store more data but it is bounded and worth the tradeoff
• [ ] Create new tx uniqueness ID that can be used for warp storage/coin ID that is not a function of proof values (cannot know ID when generating proofs)
• [ ] Provide concurrent read access to StatelessViews
• [ ] Add state syncing between stateful nodes that may not be validators after state syncing stateless state
  • [ ] Optional Extension: allow stateful nodes to build up state over time (so they don't need to sync all state)

[github-actions[bot]]

This issue has become stale because it has been open 60 days with no activity. Adding the lifecycle/frozen label will exempt this issue from future lifecycle events.