Fix opcodes that are only allowed in 64bit mode.  Add tests.