feat(cli): add SegmentationArgs to prove command

[jonathanpwang]

No description provided.

[Copilot]

Pull Request Overview

This PR adds configurable segmentation parameters to the prove command in the CLI, allowing users to customize trace height and cell limits for proof generation. The default segmentation limits have also been reduced for more conservative resource usage.

Key changes:

• Reduced default segmentation limits (DEFAULT_MAX_TRACE_HEIGHT from 2^23 to 2^22, DEFAULT_MAX_CELLS from 2B to 1.2B)
• Added SegmentationArgs struct with CLI arguments for segment_max_height and segment_max_cells
• Integrated segmentation arguments into all three proof generation subcommands (App, Stark, Evm)

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 1 comment.

File	Description
crates/vm/src/arch/execution_mode/metered/segment_ctx.rs	Reduced default segmentation limits for trace height and cells
crates/cli/src/commands/prove.rs	Added SegmentationArgs struct and integrated it into prove subcommands with helper functions
benchmarks/prove/src/util.rs	Updated comment to clarify segment_max_cells refers to total cells across all chips

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[shuklaayush]

lgtm

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-2 [-0.9%]) 224	322,610	2,058,654	-	-	-
fibonacci	(+12 [+1.2%]) 995	1,500,209	2,100,402	-	-	-
regex	(-28 [-1.2%]) 2,343	4,137,502	17,695,216	-	-	-
ecrecover	(-2 [-0.3%]) 693	122,859	2,263,820	-	-	-
pairing	(+20 [+1.4%]) 1,463	1,745,742	25,468,210	-	-	-

Commit: 0aee951

Benchmark Workflow