feat: Add e2e stark proof support

[nyunyunyunyu]

• Add new type E2eStarkProof as the format of the final internal proof. E2eStarkProof supports Encode so it can be deserialized in other languages.
• Add function wrap_e2e_stark_proof to wrap the final internal proof to RootVerifierInput.
• Add cargo openvm prove stark to generate e2e stark proof.

closes INT-3784

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(-4 [-0.3%]) 1,271	334,014	17,675,762	-	-	-
fibonacci_program	(+40 [+1.5%]) 2,712	1,500,277	50,589,503	-	-	-
regex_program	(-62 [-0.8%]) 8,009	4,165,226	166,511,152	-	-	-
ecrecover_program	(-39 [-2.7%]) 1,407	289,447	14,470,186	-	-	-
pairing	(-17 [-0.3%]) 4,922	1,820,436	95,832,407	-	-	-

Commit: 75b56c9

Benchmark Workflow