perf: only do exit check for instructions that can exit

[shuklaayush]

• update create_tco_handler macro to create_handler which now automatically sets exit_code based on whether the execute impl returns Result::Err. it acts as a simple wrapper for execute impls that don't return a Result
• only do exit checks for executors that can exit in tco mode i.e. for execute impls that return Result
• feature gate all non-tco functions with #[cfg(not(feature = "tco"))]

benchmark comparison

Towards INT-4921

[jonathanpwang]

The macro change LGTM.
But how can we statically / non-manually ensure that the e1/2_impl never creates an error? The current way where I assume you manually checked each function for whether it can error or not doesn't seem very good/maintanable. I think I'd prefer if we actually had a different function signature for those functions and the derive macro used the function signature accordingly.

[jonathanpwang]

macros for everyone!

[jonathanpwang]

LGTM except #exit_check seems unused/empty?

I confirmed that the exit code is never set directly in an *_impl and now always returned in the Result.

[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.7%]) 275	322,610	2,058,654	-	-	-
fibonacci	(+12 [+1.2%]) 1,026	1,500,210	1,060,232	-	-	-
regex	(-10 [-0.3%]) 2,950	4,108,483	13,403,604	-	-	-
ecrecover	(-34 [-3.5%]) 937	140,497	2,274,628	-	-	-
pairing	(-12 [-0.8%]) 1,546	1,882,939	23,722,622	-	-	-

Commit: 0e94729

Benchmark Workflow