More type stability tests

[gdalle]

DIT source

• Add detailed options to type stability checking, by passing the following kwarg to test_differentiation

type_stability = (; preparation=false, prepared_op=true, unprepared_op=false)

DI and DIT tests

• Test those new options on Zero backends. Note that reverse Jacobian is the only one marked as type unstable because of some DataFrames shenanigans, so we should probably do Tell JET to ignore modules in type stability testing #542

[codecov-commenter]

Codecov Report

Attention: Patch coverage is 94.24460% with 8 lines in your changes missing coverage. Please review.

Project coverage is 98.43%. Comparing base (c47e26c) to head (a3d3bf2).
Report is 2 commits behind head on main.

Files with missing lines	Patch %	Lines
...tionInterfaceTest/src/tests/type_stability_eval.jl	93.93%	8 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #543      +/-   ##
==========================================
- Coverage   98.57%   98.43%   -0.14%     
==========================================
  Files         107      107              
  Lines        4620     4724     +104     
==========================================
+ Hits         4554     4650      +96     
- Misses         66       74       +8     

Flag	Coverage Δ
DI	98.68% <100.00%> (+0.01%)	⬆️
DIT	97.90% <94.20%> (-0.46%)	⬇️

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.