Function is_ccs_plus_satisfied

pub fn is_ccs_plus_satisfied<F: PrimeField>(
    ccs: CCS<F>,
    z: &[F],
    LandT: Vec<(HashSet<usize>, HashSet<F>)>,
) -> bool

Takes the output of convert_halo2_circuit, and check if the CCS+ instance is satisfied.