feat(ivc): impl cyclefold::sfc::delegated::sangria_verify

[cyphersnake]

We have an existing implementation of the Sangria folding chip. Now, we need to adapt it for Cyclefold, ensuring that we use C::Base rather than C::Scalar for the verification.

Depends on the successful completion of #367 to adapt the delegated verification logic.

[cyphersnake]

Make gate abstract in ecc gadget to decrease degree of it

[cyphersnake]

1. Write same as sangria::fold_chip chip, but with native field and with x* as pub IO (2 sp)
2. Add is_equal check with RelaxedPlonkTrace.W_commitments (1 sp)

3 sp