Prover/Hash Key Consistency

[arijitdutta67]

This PR adds constraints to verify that the hash keys those are used in the sandwitch check are consistent with that of the corresponding leaf opening values.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 70.54%. Comparing base (f53e2d1) to head (b26af10).

Additional details and impacted files

@@            Coverage Diff            @@
##               main     #159   +/-   ##
=========================================
  Coverage     70.54%   70.54%           
  Complexity     1042     1042           
=========================================
  Files           282      282           
  Lines         11310    11310           
  Branches       1028     1080   +52     
=========================================
  Hits           7979     7979           
  Misses         2861     2861           
  Partials        470      470           

Flag	Coverage Δ
hardhat	98.69% <ø> (ø)
kotlin	68.05% <ø> (ø)