[fix] Native ASM compiler checks stack overflow

[nyunyunyunyu]

All frame pointers are known at compile time. So we can check stack overflow at compile time.

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	(+17 [+1.2%]) 1,406	147,020	8,194,664	-	-	-
fibonacci_program	(-50 [-1.0%]) 4,996	1,500,096	51,485,167	-	-	-
regex_program	(-44 [-0.3%]) 13,930	4,140,164	167,389,450	-	-	-
ecrecover_program	(+11 [+0.4%]) 2,551	295,181	15,586,346	-	-	-

Commit: a560583

Benchmark Workflow

[zlangley]

lgtm

[vercel]

Deployment failed with the following error:

Creating the Deployment Timed Out.