[Enhancement] Add features related to the usage of the ClosestProof method

[h5law]

Summary

Human Summary

• Adds GetValueHash to SparseMerkleClosestProof type
• Adds to the TrieSpec (from sm(s)t.Spec()):
  • PathHasherSize()
  • ValueHasherSize()
  • TrieHasherSize()
  • All measured in bytes
• Enforces that the path passed into ClosestProof and the Proof field of the SparseMerkle(Compact)ClosestProof types is the same length as the spec's PathHasherSize()

AI Summary

reviewpad:summary

Issue

Fixes N/A

Type of change

Please mark the relevant option(s):

• New feature, functionality or library
• Bug fix
• Code health or cleanup
• Documentation
• Other (specify)

Testing

• Run all unit tests: make test_all
• Run all/relevant benchmarks (if optimising): make benchmark_{all | suite name}

Required Checklist

• I have tested my changes using the available tooling
• I have performed a self-review of my own code
• I have commented my code (godoc format comments see: tip.golang.org/doc/comment)

If Applicable Checklist

• I have added tests that prove my fix is effective or that my feature works
• I have updated any relevant README(s)/documentation and left TODOs throughout the codebase
• Add or update any relevant or supporting mermaid diagrams