Test new docker image with upgraded Z3 for AES-GCM SAW workflow

[pennyannn]

Issues:

Resolves #ISSUE-NUMBER1
Addresses #ISSUE-NUMBER2

Description of changes:

Describe AWS-LC’s current behavior and how your code changes that behavior. If there are no issues this pr is resolving, explain why this change is necessary.

Call-outs:

Point out areas that need special attention or support during the review process. Discuss architecture or design changes.

Testing:

How is this change tested (unit tests, fuzz tests, etc.)? Are there any testing steps to be verified by the reviewer?

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license and the ISC license.

[codecov-commenter]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 78.15%. Comparing base (37ba0e2) to head (04b8ca5).
Report is 5 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1634      +/-   ##
==========================================
- Coverage   78.15%   78.15%   -0.01%     
==========================================
  Files         562      562              
  Lines       94638    94675      +37     
  Branches    13573    13576       +3     
==========================================
+ Hits        73969    73990      +21     
- Misses      20075    20088      +13     
- Partials      594      597       +3     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.