Simplified Group#point_satisfies_equation? by using field.square for the left-hand side.