feat(sdk): async app prover

[jonathanpwang]

Adds AsyncAppProver which executes metered serially and then re-executes while spawning prover tasks for each continuation segment. The prover tasks use a semaphore to limit the max concurrency.

Note this PR includes the fix #2155

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	241	322,610	2,058,654	-	-	-
fibonacci	1,001	1,500,209	2,100,402	-	-	-
regex	2,393	4,137,372	17,759,394	-	-	-
ecrecover	707	122,859	2,263,820	-	-	-
pairing	1,431	1,745,742	25,468,210	-	-	-

Commit: 9049f9c

Benchmark Workflow