Function verify_and_constraint

pub fn verify_and_constraint(
    witness: &ValueVec,
    constraint: &AndConstraint,
) -> Result<(), String>

Verifies that an AND constraint is satisfied: (A & B) ^ C = 0