ppppbamzy

In [here](https://github.com/microsoft/SEAL/blob/206648d0e4634e5c61dcf9370676630268290b59/native/src/seal/util/defines.h#L56-L59) `SEAL_CIPHERTEXT_SIZE_MAX` is fixed to be 16 while a check is followed on whether it is greater than `0x100000000ULL / SEAL_POLY_MOD_DEGREE_MAX`, where the latter can be at least 2^15...