Fix encoding for PUSH64i16. Add In64BitMode Predicate. Remove disassembler hack.