self-tests: When valid() fails, print corresponding ciphertext.