Add verify all method to group verifiers
Check that a inverse  is in G
Add field verifier