perf: operator should drop the whole batch as soon as one proof is false

[uri-99]

This is just a performance optimization, currently the operator is verifying all proofs in a batch, regardless if a previous proof was already found false.