x64: support VEX opcode encoding

and add some AVX instructions
Jit64: use AVX instructions in some places