feat(sol): complete EVM verifier

[JayWhite2357]

Rationale for this change

This is the final PR for the EVM verifier. Follow up PRs will need to add further features to the verifier to support all proof types.

[codecov[bot]]

Codecov Report

:x: Patch coverage is 0% with 189 lines in your changes missing coverage. Please review. :white_check_mark: Project coverage is 95.81%. Comparing base (8aea285) to head (5fcc086). :warning: Report is 568 commits behind head on main.

Files with missing lines	Patch %	Lines
...s/proof-of-sql/src/sql/evm_proof_plan/evm_tests.rs	0.00%	189 Missing :warning:

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #705      +/-   ##
==========================================
- Coverage   96.13%   95.81%   -0.32%     
==========================================
  Files         328      329       +1     
  Lines       57814    58003     +189     
==========================================
  Hits        55578    55578              
- Misses       2236     2425     +189     

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

:rocket: New features to boost your workflow:

• :snowflake: Test Analytics: Detect flaky tests, report on failures, and find test suite problems.