L2: prevent OOM in zkvms

[xqft]

Currently there's no limit to the total batch gas that the prover can receive. This can lead to an OOM in a zkvm if the memory needed to execute stateless verification exceeds its limit, for example 2GB for SP1.

We should investigate if gas is a good estimator of memory usage in stateless execution, in the first place.

[xqft]

#3760 aims to solve part of this, I'm yet to test with a single big block batch, instead of many empty blocks