[recursion] ecc verifier + single chunk verify

[hero78119]

• verifier continuation continuation of multi-shard + ram bus #1084
• >1 proofs of a chip feat: multiple instances of a circuit in single shard #1126 (comment)
• ecc verifier missing zero check Feat: bound ec sum in ecc quark prover #1130