Range checking the parameters of recursive verifier

[Al-Kindi-0]

The recursive verifier in the standard library takes as input a number of parameters and makes several assumptions on these.
For example, the number of FRI queries is a parameter that is provided via the operand stack to the verification procedure. The current implementation of the recursive verifier makes an implicit assumption that the number of such queries is less than $100$ in the global memory layout described in the constants.masm file. Currently, this assumption is not enforced and this might lead to some "buffer-overflow" issues (i.e. attacks). Thus, it seems necessary to tackle this before using the recursive verifier in a production environment.

[bobbinth]

Closed by #1596.