Prover EL: Test non empty block

[MdTeach]

Description

• Updated the prover el block functional test to prove non-empty blocks instead of empty blocks.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 54.81%. Comparing base (a0d413d) to head (30ded8d).
Report is 2 commits behind head on main.

@@            Coverage Diff             @@
##             main     #651      +/-   ##
==========================================
- Coverage   54.84%   54.81%   -0.03%     
==========================================
  Files         313      313              
  Lines       33526    33526              
==========================================
- Hits        18386    18376      -10     
- Misses      15140    15150      +10     

see 6 files with indirect coverage changes

[github-actions]

Commit: 96de1c6

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	30,357,713	✅
EL_BLOCK	98,041	✅
CL_BLOCK	58,268	✅
L1_BATCH	30,387,702	✅
L2_BATCH	5,473	✅
CHECKPOINT	15,255	✅

[delbonis]

Minor comments on the tests.

Changes applied