feat(ivc): cyclefold::pairing_check

[cyphersnake]

Motivation
As part of impl of sfc (#369) we delegate ecc_scalar_mul computing to a suppport circuit. Within primary sfc we must validate the input of it and reuse the output to use as W_commitment protogalaxy_accumulator

Overview

• I use the lagrange coefficients that we have already evaluated inside protogalaxy::verify, but with decompose into bn form
• Change order of fields inside SupportCircuit
• Little refactor protogalaxy::verify_chip

[cyphersnake]

Close #370

[chaosma]

LGTM.

NBD: pairing denotes to the pairing function in elliptic curves:e(a,b)
pairing check usually means the final ecc pairing check: e(lhs,rhs)=e(lhs1,rhs1).