feat[venom]: add algebraic optimization pass

[harkal]

What I did

Added a venom pass to do algebraic optimizations. Currently optimizes iszero chains.

How I did it

How to verify it

Commit message

Add a new venom pass to do algebraic optimizations. 

Currently optimizes `iszero` chains.

Description for the changelog

Cute Animal Picture

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.01%. Comparing base (81b48b7) to head (b53a692).
Report is 1 commits behind head on master.

❗ Current head b53a692 differs from pull request most recent head 6eb165e

Please upload reports for the commit 6eb165e to get more accurate results.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4054      +/-   ##
==========================================
- Coverage   91.18%   89.01%   -2.17%     
==========================================
  Files         107      108       +1     
  Lines       15451    15494      +43     
  Branches     3395     3404       +9     
==========================================
- Hits        14089    13792     -297     
- Misses        930     1205     +275     
- Partials      432      497      +65     

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

[charles-cooper]

nice!