Includes the test vectors from RFC 8452 and QuickCheck properties with encryption-decryption round trip.