Fix warnings
Add abelian group verifier, units modulo n.