Adds the opcodes vmulps, vmulpd, vmulss, vmulsd, vpmullw, vpmulld, vpmullq, vpmuldq, vpmulhw, vpmulhuw, vpmuludq, vpmulhrsw.
The opcode vpmullq is new in AVX-512.
Note that this fixes a bug where the evex rows were missing from prefix extension 25 in the decode tables. The remaining prefix extensions have been inspected and found to be ok.
Adds tests for above.
Issue: #1312