Can we also test just G^k?  That should be different. With the new planning stuff, G^8 should be:
```g2 = G*G
  g4 = g2*g2
  g8 = g4*g4
```