Function verify_mul_constraint

pub fn verify_mul_constraint(
    witness: &ValueVec,
    constraint: &MulConstraint,
) -> Result<(), String>

Verifies that a MUL constraint is satisfied: A * B = (HI << 64) | LO