fix invariant check to not require stateful variables

[dpaiton]

The negative interest check now directly looks up previous pool states instead of updating a stateful variable.

other fixes:

• update hyperdrivetypes
• rename interface.get_deploy_block() to interface.get_deploy_block_number() and change output type from int | None to BlockNumber | None
• fix import bugs caused by latest pypechain update
• rename block_before_timestamp.py to match function, block_number_before_timestamp
• fix utils init file so that only functions are listed under imports

[codecov]

Codecov Report

Attention: Patch coverage is 65.38462% with 9 lines in your changes missing coverage. Please review.

Project coverage is 80.96%. Comparing base (5cd827e) to head (7dc012d).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...c/agent0/hyperfuzz/system_fuzz/invariant_checks.py	52.63%	9 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1731      +/-   ##
==========================================
- Coverage   81.17%   80.96%   -0.21%     
==========================================
  Files          94       94              
  Lines        7092     7099       +7     
==========================================
- Hits         5757     5748       -9     
- Misses       1335     1351      +16     

Flag	Coverage Δ
unittests	80.96% <65.38%> (-0.21%)	⬇️

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.