feat: add test sweeps for internal prover & root prover

[Aalanli]

Resolves: INT-8260

The workflow I have is:

1. generate parameter sets using this branch: https://github.com/openvm-org/stark-backend/tree/sweep_params
2. save parameter sets as json, check into the tests
3. the test will deserialize the json, loop over all the params and run fibonacci.

Another approach is to modify stark-backend to export some kind of get_sweeps function. Anyways if we don't want to deserialize we need to modify stark backend as making a SystemParam needs some non-public constants and functions from soundness.rs.

[Aalanli]

Currently the root sweep fails with this config:

SystemParams { l_skip: 14, n_stack: 6, w_stack: 18, log_blowup: 2, whir: WhirConfig { k: 1, rounds: [WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }, WhirRoundConfig { num_queries: 193 }], mu_pow_bits: 20, query_phase_pow_bits: 20, folding_pow_bits: 20, proximity: ListDecoding { m: 1 } }, logup: LogUpSecurityParameters { max_interaction_count: 2013265921, log_max_message_length: 7, pow_bits: 18 }, max_constraint_degree: 4 }

with error message

Error: Proof shape verification failed: Invalid StackingProof shape: Total stacked width across commits (38) exceeds w_stack (18)

Caused by:
    Invalid StackingProof shape: Total stacked width across commits (38) exceeds w_stack (18)

[Aalanli]

And internal sweep fails with this config:

SystemParams { l_skip: 1, n_stack: 18, w_stack: 512, log_blowup: 1, whir: WhirConfig { k: 1, rounds: [WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }, WhirRoundConfig { num_queries: 450 }], mu_pow_bits: 20, query_phase_pow_bits: 20, folding_pow_bits: 18, proximity: ListDecoding { m: 2 } }, logup: LogUpSecurityParameters { max_interaction_count: 2013265921, log_max_message_length: 7, pow_bits: 18 }, max_constraint_degree: 4 }

with this error:

thread 'tests::test_sdk_fibonacci_internal_sweep' (2885861) panicked at crates/sdk/src/lib.rs:543:18:
Trace heights did not generate properly: Stacked PCS: StackedLayout::new: column height 22 exceeds stacked height 19

Caused by:
    StackedLayout::new: column height 22 exceeds stacked height 19

Location:
    /home/allanl/Programs/openvm-worktree/param_tuning/crates/continuations/src/prover/inner/mod.rs:91:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test tests::test_sdk_fibonacci_internal_sweep ... FAILED

[github-actions]

group	app.proof_time_ms	app.cycles	leaf.proof_time_ms
fibonacci	3,819	12,000,265	931
keccak	18,030	18,655,329	3,281
sha2_bench	10,049	14,793,960	1,466
regex	1,417	4,137,067	359
ecrecover	603	123,583	253
pairing	889	1,745,757	262
kitchen_sink	1,871	2,579,903	413

Note: cells_used metrics omitted because CUDA tracegen does not expose unpadded trace heights.

Commit: 54f0f48

Benchmark Workflow

[stephenh-axiom-xyz]

We need all the SDK tests, especially deferrals. It probably is better to not do everything from a single run, and instead have a script that runs the full SDK suite for a given parameter config.