i#1312 AVX-512 support: Add evex-encoded boolean opcodes.

Adds evex promoted opcodes vandps, vandps, vandnps, vandnpd, vorps, vorpd, vxorps, vxorpd.

Adds the opcodes vpandd, vpandq, vpandnd, vpandnq, vpord, vporq, vpxord, vpxorq that are evex promoted, but now split into 'd' and 'q' forms.

Issue: #1312