Jit64: implement ps_res

This is probably more accurate than it is allowed to be. After all, the
instructions are supposed to be "estimates".
x64: add small warning if CPU has SSE2 but not DAZ
x64: support VEX opcode encoding

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