x64: support VEX opcode encoding

and add some AVX instructions
Jit64: use AVX instructions in some places
Jit64: don't unnecessarily load registers