fix: Fix reduce constraint bug

[aturker-synnada]

Description

Reduce constraint symbolic shape inference bug fixed. Closes #31

What is Changed

• Reduce constraint updated.
• Tests for the bug added.

Checklist:

• [x] Tests that cover the code added.
• [x] Corresponding changes documented.
• [x] All tests passed.
• [x] The code linted and styled (pre-commit run --all-files has passed).

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 85.95%. Comparing base (385f8b5) to head (499fa1a). Report is 4 commits behind head on main.

@@            Coverage Diff             @@
##             main      #32      +/-   ##
==========================================
+ Coverage   85.92%   85.95%   +0.02%     
==========================================
  Files          61       61              
  Lines       15259    15274      +15     
==========================================
+ Hits        13112    13129      +17     
+ Misses       2147     2145       -2     

Files with missing lines	Coverage Δ
mithril/framework/constraints.py	94.37% <100.00%> (+0.04%)	:arrow_up:

... and 8 files with indirect coverage changes