[x64] Add AX512 optimization for `OPCODE_SELECT`(V128)

Uses `vpternlogd` to collapse the bitwise select operation into one
instruction. Though it needs a `vmovdqa` instruction since `vpternlogd`
reads and writes to the first argument.