Use ML-DSA-87 #33

Job	Run time
Run benchmarks	11s
Build+test (stable, ubuntu-latest)	6s
BoGo test suite	6s
Build+test (stable, windows-latest)	14s
Validate external types appearing in public API	51s
Build+test (stable, macos-latest)	12s
Clippy	16s
Build+test (beta, ubuntu-latest)	11s
Clippy (Nightly)	23s
Measure coverage	1m 1s
Build+test (nightly, ubuntu-latest)	15s
cross-target testing (armv7-linux-androideabi)	58s
Check for documentation errors	13s
Format	7s
Features	5s
cross-target testing (i686-linux-android)	1m 0s
cross-target testing (thumbv7neon-linux-androideabi)	55s
Format (unstable)	12s
cross-target testing (i586-unknown-linux-gnu)	53s
Smoke-test fuzzing targets	30s
Check minimum versions of direct dependencies	18s
cross-target testing (i686-unknown-linux-gnu)	1m 5s
cross-target testing (riscv64gc-unknown-linux-gnu)	57s
MSRV	11s
cross-target testing (s390x-unknown-linux-gnu)	1m 4s
Run openssl-tests	9s
cross-target testing (aarch64-linux-android)	59s
Check semver compatibility	6s
	13m 28s

Provide feedback