perf: G1/2 membership using Eval

[yelhousni]

Description

Forgot to push this in #1349.
G1 and G2 subgroup membership using Eval for curve and twist arithmetics.

Type of change

• New feature (non-breaking change which adds functionality)

How has this been tested?

TestGroupMembershipSolve passes.

How has this been benchmarked?

This saves 101,565 scs for GroupMembershipCircuit.

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[ivokub]

Looks good in general, I see how you have inlined the Ext2 ops. But have a look at the comment for G1.doubleAndAdd, I don't follow the change of sign.