Use jmt update proofs. Add Storage::Root generic.

[preston-evans98]

Description

This PR switches from our temporary (insecure) method of proving updates to the new jmt update proofs that @theochap implemented while he was here. In order to make this change, it was convenient to clean up many of the hard-coded [u8;32]s scattered throughout the codebase and replace them with a generic Storage::Root type.

Linked Issues

• Fixes Update jmt to remove honest treereader assumption. #246
• Related to # (issue)

Testing

This change is covered by existing tests.

[codecov]

Codecov Report

Merging #908 (6c9769a) into nightly (2c51dd9) will increase coverage by 0.1%.
The diff coverage is 78.9%.

❗ Current head 6c9769a differs from pull request most recent head 683f8e0. Consider uploading reports for the commit 683f8e0 to get more accurate results

Files Changed	Coverage Δ
adapters/risc0/src/guest.rs	63.4% <0.0%> (-1.1%)	⬇️
adapters/risc0/src/host.rs	16.4% <0.0%> (-0.5%)	⬇️
module-system/sov-state/src/lib.rs	84.2% <ø> (ø)
module-system/sov-state/src/witness.rs	66.6% <ø> (+13.1%)	⬆️
rollup-interface/src/state_machine/optimistic.rs	0.0% <ø> (ø)
rollup-interface/src/state_machine/stf.rs	85.7% <ø> (ø)
rollup-interface/src/state_machine/zk/mod.rs	100.0% <ø> (ø)
...mplementations/sov-attester-incentives/src/call.rs	87.0% <48.8%> (-3.1%)	⬇️
full-node/db/sov-db/src/ledger_db/mod.rs	90.8% <77.7%> (-0.7%)	⬇️
full-node/sov-stf-runner/src/runner.rs	79.1% <77.7%> (ø)
... and 12 more

... and 9 files with indirect coverage changes