Added ML-DSA to break-kat framework

[jakemas]

Issues:

Resolves #PQCrypto-130

Description of changes:

• Added ML-DSA to the break-kat tool.

Call-outs:

As the break kat test modifies input to switch it all out for zeros, I had to change the kMLDSASignPlaintext in self_check.c to no longer be all zeros. As such the expected signature also has changed.

We also are no longer able to re-use the signature from ML-DSA-sign in ML-DSA-verify as we want to break the verify KAT independently of the sign KAT. As such, kMLDSAVerifySignature and kMLDSAVerifyPlaintext have been added.

Testing:

Running break-kat and callback tests both pass.

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

Attention: Patch coverage is 83.33333% with 1 line in your changes missing coverage. Please review.

Project coverage is 79.06%. Comparing base (4fb8ec3) to head (1ba9f3d).

Files with missing lines	Patch %	Lines
crypto/fipsmodule/self_check/self_check.c	66.66%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2253   +/-   ##
=======================================
  Coverage   79.05%   79.06%           
=======================================
  Files         612      612           
  Lines      106517   106521    +4     
  Branches    15053    15053           
=======================================
+ Hits        84204    84217   +13     
+ Misses      21661    21650   -11     
- Partials      652      654    +2     

☔ 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.