feat(ivc): impl cyclefold::support_circuit::protogalaxy::verify_delegated

[cyphersnake]

Part of the computation, particularly ECC-related operations from nifs::protogalaxy::verify, needs to be moved to the support (secondary) circuit.

Depends on #369 for core logic integration.

[cyphersnake]

• [ ] Impl TinyGate (degree = 2) gate = a+r*b (0.5 sp)
• [ ] impl trait EccOperationGate (0.5 sp)
• [ ] MainGate field -> impl EccOperationGate (0.5 sp)
• [ ] Test all together (1 sp)