Current Dot op verifier is following upstream strategy, only verify the correctness of layout encoding.
We still need to check the operand element type and the corresponding layout encoding, not matched element type and elements per lane would lead to data unpacked incorrectly.