Function verify_imul_constraint 

pub fn verify_imul_constraint(
    witness: &ValueVec,
    constraint: &ImulConstraint,
) -> Result<(), String>

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