minicrypt: add AES implementation