fixing some decryption bugs in GCM128