Proptests for the "skip" functions in tuple deserialization

[Acaccia]

Closes #487

This PR implements 3 property tests for the deserialization of tuples with extra fields. This indirectly tests the "skip" functions from standard.wat.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 86.11%. Comparing base (1a1ab12) to head (a5e9e5a).
Report is 7 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #520      +/-   ##
==========================================
- Coverage   86.14%   86.11%   -0.03%     
==========================================
  Files          44       44              
  Lines       20942    20968      +26     
  Branches    20942    20968      +26     
==========================================
+ Hits        18040    18057      +17     
- Misses       1361     1368       +7     
- Partials     1541     1543       +2     

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

[csgui]

Good work on that! It seems to be covering all cased that should be skipped during tuples deserialization.

Added some changes request that might improve the code a bit.

[csgui]

LGTM!