EqWord: tests and bug fixup in Word64 instance