Add new test TranslateOpMul, and add a check to assert that an edge case of optimized TranslateOp*float4x4 is detected.