feat(specs): add EIP-7805 spec

[jihoonsong]

What was wrong?

This PR implements EIP-7805 on top of Amsterdam.

How was it fixed?

This PR passes IL transactions as the third parameter to state_transition and check if the block satisfies the IL constraints. Note that this check should be done after transaction execution and before withdrawal processing. It is because some withdrawal could make a sender be able to afford their IL transactions, which wasn't possible before.

Cute Animal Picture

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 86.21%. Comparing base (c9e90a2) to head (cf5c369).

Additional details and impacted files

@@                     Coverage Diff                     @@
##           eips/amsterdam/eip-7805    #1928      +/-   ##
===========================================================
- Coverage                    86.35%   86.21%   -0.15%     
===========================================================
  Files                          599      599              
  Lines                        36904    37002      +98     
  Branches                      3771     3798      +27     
===========================================================
+ Hits                         31868    31900      +32     
- Misses                        4485     4537      +52     
- Partials                       551      565      +14     

Flag	Coverage Δ
unittests	86.21% <ø> (-0.15%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

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

[felix314159]

Please rebase if you think that this should get merged instead of closed

[jihoonsong]

@felix314159 Let me rebase this by next week. Thanks!

[jihoonsong]

@felix314159 I've rebased this PR. Could you please rebase eips/amsterdam/eip-7805 branch to forks/amsterdam?

[felix314159]

we have a workflow that we can trigger to rebase any EIP branch on top of forks/amsterdam, it's called eip-rebase.yaml. i just ran it on 7805

[felix314159]

i rebased the base and target branches on top of latest forks/amsterdam, i want to get this PR merged so that collaborating on top of it will be easier. i had to force-push manually because our workflow is currently broken due to tooling changes.

i can see that github shows a bugged 'commits' and 'files changed' number for me (we had this before). usually this can be fixed by changing the target branch (currently: eips/amsterdam/eip-7805) to sth else and then back to eips/amsterdam/eip-7805. can you try this? @jihoonsong

[jihoonsong]

I've done the branch switching trick and now it shows the right commit. Thank you! @felix314159