Adds the evex-promoted opcodes vpsraw, vpsrad, vpsravw, vpsravd, vpsrlvd, vpsrlvq, vpsllw, vpslld, vpsllq, vpsllvw, vpsllvd, vpsllvq, vpsrldq, vpslldq.
Adds the new AVX-512 opcodes vprolvd, vprold, vprolq, vprolvq, vprord, vprorvd, vprorq, vprorvq, vpsraq, vpsrlw, vpsrld, vpsrlq, vpsravq, vpsrlvw.
Adds tests for above.
Opcodes have been checked against llvm-mc, binutils/gas/objdump and capstone.
No information was found on vprorrd, vprorrq. The opcodes are mentioned to be distinct from vprord, vprorq, but they are not further specified in the instruction tables.
Issue: #1312