Assorted test improvements 20240701

[hellwolf]

Porting changeset away from batch-ops:

• upgrade foundry version
• rename '.prop.sol' to '.prop.t.sol'
• fix a few types and build warnings

[github-actions]

Changelog Reminder

Reminder to update the CHANGELOG.md for any of the modified packages in this PR.

• CHANGELOG.md modified
• Double check before merge

[codecov]

Codecov Report

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

Project coverage is 88.60%. Comparing base (4c86d26) to head (5fceaf1).

Files	Patch %	Lines
...m-contracts/contracts/apps/SuperTokenV1Library.sol	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##              dev    #1971      +/-   ##
==========================================
+ Coverage   88.18%   88.60%   +0.41%     
==========================================
  Files         118      118              
  Lines        7357     7360       +3     
  Branches      966      966              
==========================================
+ Hits         6488     6521      +33     
+ Misses        867      837      -30     
  Partials        2        2              

Flag	Coverage Δ
ethereum-contracts	94.21% <0.00%> (+0.80%)	⬆️
sdk-core	88.60% <0.00%> (+0.41%)	⬆️

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.

[github-actions]

XKCD Comic Relif

Link: https://xkcd.com/1971