[ML-KEM/IND-CPA ] Fix verification #1380

Job	Run time
extract	2m 37s
extract-header-only-ml-dsa	3m 4s
extract-header-only-ml-kem	2m 48s
diff	4s
build (macos-latest)	5m 1s
build (ubuntu-latest)	23m 35s
build (windows-latest)	3m 14s
diff-header-only-ml-kem	8s
build-header-only-ml-kem (macos-latest)	23s
build-header-only-ml-kem (ubuntu-latest)	25s
build-header-only-ml-kem (windows-latest)	59s
diff-header-only-ml-dsa	5s
build-header-only-ml-dsa (macos-latest)	18s
build-header-only-ml-dsa (ubuntu-latest)	17s
build-header-only-ml-dsa (windows-latest)	52s
	43m 50s

Provide feedback