[Meta] Verified AES for HACL*

[karthikbhargavan]

Fulfill the following issues

• https://github.com/cryspen/hacl-packages/issues/448
• https://github.com/cryspen/hacl-packages/issues/449
• https://github.com/cryspen/hacl-packages/issues/450
• https://github.com/cryspen/hacl-packages/issues/451

[franziskuskiefer]

This issue is probably little bit too big. Please split it into tasks that can be achieved in about a week at most @karthikbhargavan @mamonet .