pub fn create_random_proof_batch_priority<E, C, R, P: ParameterSource<E>>(
    circuits: Vec<C>,
    params: P,
    rng: &mut R,
    priority: bool
) -> Result<Vec<Proof<E>>, SynthesisError> where
    E: GpuEngine + MultiMillerLoop,
    C: Circuit<E::Fr> + Send,
    R: RngCore