pub fn sw_test<P, GG>() -> Result<(), SynthesisError>where
    P: SWCurveConfig,
    GG: CurveVar<SWProjective<P>, <P::BaseField as Field>::BasePrimeField>,
    for<'a> &'a GG: GroupOpsBounds<'a, SWProjective<P>, GG>,