range check: add debug_assert

[lispc]

is this a good idea?

[jonathanpwang]

I think we have negative tests that you'd need to deal with somehow. maybe you can use some static variable when #[cfg(debug_assertions)]?

[lispc]

ok negative tests..
let me think

[github-actions]

group	app.proof_time_ms	app.cycles	app.cells_used	leaf.proof_time_ms	leaf.cycles	leaf.cells_used
verify_fibair	3,501	711,284	25,510,945	-	-	-
fibonacci_program	(+18 [+0.3%]) 6,156	1,500,137	51,505,102	-	-	-
regex_program	(-61 [-0.3%]) 18,861	4,190,904	165,028,173	-	-	-
ecrecover_program	(-10 [-0.4%]) 2,599	285,401	15,092,297	-	-	-

Commit: d31bd5e

Benchmark Workflow

[lispc]

i feel in future we may design a systematic way for these checks. Either env var, or another feature flag, or a boolean const generic. I'd like to close it now.