Quotient domain is completely controlled by prover

Chip ordering is used to fetch all chips instead of preprocessed ones

Selectors are not checked to be boolean in MemoryReadWriteChip

Range check is commented out for field word range checks

`operand_to_check` is not constrained to be a valid word in `eval_ecall`

Polynomial evaluations are never observed by recursive verifier

ro[config.log_blowup] is not checked to be zero in recursive verifier