fix: refactor test loops

[gdalle]

Internal changes:

• Add back a pushforward test that was missing
• Fix a complex test scenario
• Separated val and noval testing loops, correct bugs there
• Improve type stability of testing
• Split out preparation testing from correctness testing
• Add small precompilation workload

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 98.10%. Comparing base (24fbefc) to head (c8e91ba).
⚠️ Report is 1 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #848      +/-   ##
==========================================
+ Coverage   91.36%   98.10%   +6.74%     
==========================================
  Files         133      134       +1     
  Lines        7887     7986      +99     
==========================================
+ Hits         7206     7835     +629     
+ Misses        681      151     -530     

Flag	Coverage Δ
DI	98.79% <ø> (+9.08%)	⬆️
DIT	96.38% <100.00%> (+0.69%)	⬆️

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.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.