fix: lower default maxiters for fixpoint_sub

[AayushSabharwal]

10000 was a bit too high

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

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

Project coverage is 3.98%. Comparing base (3e31a75) to head (5af597a).
Report is 56 commits behind head on master.

Files with missing lines	Patch %	Lines
src/variable.jl	0.00%	1 Missing ⚠️

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@            Coverage Diff            @@
##           master   #1349      +/-   ##
=========================================
- Coverage    6.69%   3.98%   -2.71%     
=========================================
  Files          47      50       +3     
  Lines        4618    4771     +153     
=========================================
- Hits          309     190     -119     
- Misses       4309    4581     +272     

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