fix: guarantee that max prefix length is < min prefix length + child size

[crodriguezvega]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 95.83333% with 1 line in your changes missing coverage. Please review.

Project coverage is 67.74%. Comparing base (a72a6cb) to head (98f8721).

Files with missing lines	Patch %	Lines
rust/src/verify.rs	95.83%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #369      +/-   ##
==========================================
+ Coverage   67.51%   67.74%   +0.22%     
==========================================
  Files           7        7              
  Lines        3014     3035      +21     
==========================================
+ Hits         2035     2056      +21     
  Misses        979      979              

Flag	Coverage Δ
rust	67.74% <95.83%> (+0.22%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[AdityaSripal]

Nice work! Ideally we would also have a test that malleates the prefix in order to fool the proof system that now fails. You should be able to pull out the test case from the audit report so don't have to create yourself