feat: parametrize worker over spec

[evgenyzdanovich]

Description

Alpen uses different ASM spec (with or without debug subproto) based on the features.
So worker ideally needs to be parameterized over the spec, otherwise its unusable

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: f38ca57
SP1 Execution Results

program	cycles	success
ASM STF	118,483,823	yes
Moho Recursive	11,586,699	yes

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

Files with missing lines	Coverage Δ
bin/asm-runner/src/bootstrap.rs	91.46% <100.00%> (+0.10%)	⬆️
crates/worker/src/builder.rs	92.68% <100.00%> (+1.50%)	⬆️
crates/worker/src/service.rs	80.95% <100.00%> (+0.46%)	⬆️
crates/worker/src/state.rs	72.72% <100.00%> (+0.27%)	⬆️

... and 4 files with indirect coverage changes

🚀 New features to boost your workflow:

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