feat: exit when condition is not filled

[ThomasPiellard]

Description

The sanity checks in the plonk verifier (solidity) now return an error as soon as a condition is not matched instead of waiting for all checks to be done. It should save some gas when a condition is not matched (minor optim).

Type of change

• New feature (non-breaking change which adds functionality)

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[ivokub]

Otherwise, looks good. But now wouldn't it make more sense to use gt(..., R_MOD-1) instead of iszero(lt(..., R_MOD))? Maybe additional storage for R_MOD-1 is bigger than additional opcode?