feat[venom]: algebraic optimizations

[harkal]

What I did

Improve optimizations performed by algebraic optimization pass. Specifically, optimize add/sub chains.

How I did it

How to verify it

Commit message

Implements constant folding and chain optimization for add/sub operations in the Venom IR:
  - Adds `_fold_add_chain()` to collapse chains of add/sub operations into single operations
  - Adds `_trace_add_chain()` to trace through add/sub chains and compute total offsets
  - Adds `is_single_use()` helper to DFG analysis for checking variable usage
  - Optimize patterns like `add(add(x, c1), c2)` to `add(x, c1+c2)`
  - Handle sub operations in chains
  - Add foundation for shifted add chain optimization (currently disabled)

Description for the changelog

Cute Animal Picture

[codecov]

Codecov Report

❌ Patch coverage is 68.62745% with 32 lines in your changes missing coverage. Please review.
✅ Project coverage is 93.15%. Comparing base (3180c36) to head (e484a94).

Files with missing lines	Patch %	Lines
vyper/venom/passes/algebraic_optimization.py	68.00%	27 Missing and 5 partials ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4778      +/-   ##
==========================================
- Coverage   93.28%   93.15%   -0.13%     
==========================================
  Files         137      137              
  Lines       19623    19723     +100     
  Branches     3396     3420      +24     
==========================================
+ Hits        18305    18373      +68     
- Misses        894      921      +27     
- Partials      424      429       +5     

☔ 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.

[charles-cooper]

can we add some tests for the (working) add/sub chains?