Fix Icmp_eq64()

This instruction was supposed to check 64 bits for equality but was only
checking 32 bits.  Fixed.