Use JMT update proofs

[preston-evans98]

Description

Update zk_storage to use jmt::update proofs. This fixes the soundness bug in our proofs and may improve performance.

Linked Issues

• Fixes Update jmt to remove honest treereader assumption. #246

Testing

This PR should be exercised by the demo-prover tests. We should wait to merge it until #715 is complete. We should also add integration tests exercising the whole "prover" workflow outside of Risc0.

[codecov]

Codecov Report

Merging #717 (201267d) into nightly (cf6fd44) will increase coverage by 0.5%.
Report is 1 commits behind head on nightly.
The diff coverage is 100.0%.

Files Changed	Coverage Δ
module-system/sov-state/src/lib.rs	78.2% <ø> (ø)
module-system/sov-state/src/witness.rs	66.6% <ø> (+13.1%)	⬆️
module-system/sov-state/src/prover_storage.rs	96.6% <100.0%> (-0.1%)	⬇️
module-system/sov-state/src/zk_storage.rs	57.6% <100.0%> (+0.5%)	⬆️

... and 2 files with indirect coverage changes

[preston-evans98]

Implemented by #908