fn verify_jacobian_point_is_on_the_curve( ops: &CommonOps, p: &Point, ) -> Result<Elem<Q, R>, Unspecified>