Revert "Disable aswlc tests due to CI failures."

This reverts commit 30642b7.

Let's see if the evidence-checking changes also allow this to
complete now.

.github/workflows/ci.yml

@@ -525,19 +525,7 @@ jobs:
           - bike
           - tls
           - hmac-failure
-
-          # 2022.08.19 KWQ: disabled to allow merge of PR #1689.  This should be
-          # re-enabled as soon as possible.  Symptoms are:
-          #    ...
-          #    Verifying EVP_EncryptUpdate ...
-          #    ...
-          #    Failed to run saw script %s.verify-AES-GCM-quickcheck.saw signal: killed
-          #
-          # Those symptoms indicate it is likely running out of memory on the CI
-          # job machine.
-          #
-          # - aswlc
-
+          - awslc
           - blst
         ghc: ["8.10.7"]
     steps: