Rename ML-DSA

[justsmth]

Issues:

Addresses #839

Description of changes:

• Rename ML-DSA values to be more idiomatic.
• Bump to aws-lc-rs v1.13.3.

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 92.39%. Comparing base (c358484) to head (a7b166f).
Report is 232 commits behind head on main.

Additional details and impacted files

@@            Coverage Diff             @@
##             main     #844      +/-   ##
==========================================
- Coverage   95.80%   92.39%   -3.41%     
==========================================
  Files          61       71      +10     
  Lines        8143     9065     +922     
  Branches        0     9065    +9065     
==========================================
+ Hits         7801     8376     +575     
- Misses        342      423      +81     
- Partials        0      266     +266     

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

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.