chore: chonk verifier simplifications

[iakovenkos]

Motivation: make the op_queue wire handling more transparent and rigid, avoid consistency checks that were most likely caused by considering Goblin pieces as potentially independent protocols. + Reduce CHONK_PROOF_LENGTH

Core Changes

1. Compute accumulated_result in ECCVM verifiers instead of doing it Translator-side
2. Pass accumulated_result instead of TranslationEvaluations struct --> These data does not need to be sent by the TranslatorProver, TranslatorVerifier places the result computed by ECCVM into the relations that are checking the correctness of accumulated_result
3. Pass final table commitments directly from Merge to Translator
   • The prover doesn't recompute these commitments and doesn't send them to the verifier --> Smaller proof size, no need for verify_consistency_with_final_merge check
4. Extract TranslatorInputData via getter instead of accessing ECCVM member variables directly

Collateral Changes:

• Introduced HIDING_KERNEL_LOG_N constant
  • Extracted hardcoded VIRTUAL_LOG_N = 16 in MegaZKFlavor to use named constant
  • Included this since CHONK_PROOF_LENGTH reduction required protocol circuit updates anyway and it's a long overdue
• Renamed constant CONST_PG_LOG_N → CONST_FOLDING_LOG_N