special case first byte decryption passing quickcheck