Expand the test to cover more algorithms, and to check the ciphertext matches expectations.
Expand the test to cover more algorithms, and to check the
ciphertext matches expectations.

This will catch the MSVC code-gen bug that broke AES-256
key expansion.  Since the bug is symmetric, simply decrypting
our our ciphertext will not catch it.

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star