Function verify_constraints 

pub fn verify_constraints(
    cs: &ConstraintSystem,
    witness: &ValueVec,
) -> Result<(), String>

Verifies all constraints in a constraint system are satisfied by the witness