feat: embed ASM params at build time instead of hardcoding in guest code

[prajwolrg]

Description

• Refactored StrataAsmSpec to wrap AsmParams directly instead of storing individual fields, and added typed accessor methods on AsmParams
• Added a build script to strata-asm-spec that validates and embeds ASM_PARAMS_JSON via env!() when targeting zkVM, removing the hardcoded spec from guest code.
• Added asm-params.json config file for prover-perf and wired its build.rs to propagate ASM_PARAMS_JSON to the guest

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

[codecov]

Codecov Report

❌ Patch coverage is 91.66667% with 3 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/spec/src/lib.rs	88.88%	2 Missing ⚠️
crates/params/src/params.rs	94.44%	1 Missing ⚠️

Files with missing lines	Coverage Δ
crates/params/src/params.rs	99.04% <94.44%> (-0.96%)	⬇️
crates/spec/src/lib.rs	90.00% <88.88%> (+15.49%)	⬆️

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

[github-actions]

Commit: 3937d33
SP1 Execution Results

program	cycles	success
ASM STF	140,834,521	yes
Moho Recursive	629,971	yes