Encryption in Stainless

[vkuncak]

A case study to implement AES encryption and decryption, analogously to compression in qoi/ benchmark. It is not necessary to initially prove idempotence.

Possible example reference: https://github.com/kokke/tiny-AES-c