feat[venom]: add load elimination pass

[charles-cooper]

What I did

How I did it

How to verify it

Commit message

add primitive `sload`/`tload`/`mload` elimination. keeps latest
(m/s/t)load or (m/s/t)store in a one-element "lattice", and weakens the
(m/s/t)load to a `store` instruction if there is a hit on the same key.

Description for the changelog

Cute Animal Picture

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 89.99%. Comparing base (fadd4de) to head (352b10f).
Report is 66 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #4265      +/-   ##
==========================================
- Coverage   91.74%   89.99%   -1.76%     
==========================================
  Files         118      119       +1     
  Lines       16581    16615      +34     
  Branches     2789     2796       +7     
==========================================
- Hits        15213    14953     -260     
- Misses        936     1172     +236     
- Partials      432      490      +58     

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

[HodanPlodky]

Could we just switch it so the order in which the value and ptr is store we cannot always switch them (just to make it simple to reason about it)

[charles-cooper]

i think the reason i wrote it like that is to kind of hint at a future implementation with lattice (mapping locations to values), it will look like

val, ptr = inst.operands
memory[ptr] = val

[charles-cooper]

i rewrote it a bit so that we don't have to look at the reversal of the indexes
6faffba