Co-Z + effective affine precomputation + tests

This builds on top of #171 but reworks the group element tests, making them much more extensive (and faster).