feat: add SP1 proof generation support to ASM runner

[prajwolrg]

Description

• Add SP1 proof generation behind a sp1 feature flag in asm-runner, using zkaleido-sp1-host and the SP1 guest ELF binary
• Update functional tests to support SP1 proof runs by increasing proof wait timeout from 60s to 600s to accommodate real proof generation times

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
• Security fix

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

[github-actions]

Commit: cfae5f8
SP1 Execution Results

program	cycles	success
ASM STF	122,849,241	yes
Moho Recursive	630,278	yes

[codecov]

Codecov Report

❌ Patch coverage is 42.85714% with 4 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
bin/asm-runner/src/bootstrap.rs	42.85%	4 Missing ⚠️

Files with missing lines	Coverage Δ
bin/asm-runner/src/bootstrap.rs	91.25% <42.85%> (-4.75%)	⬇️

... and 2 files with indirect coverage changes

🚀 New features to boost your workflow:

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

[MdTeach]

Looks good.
Just a question:

[evgenyzdanovich]

nice!