iraca: verificación diferencial independiente de ML-KEM (FIPS 203) en RustCrypto

Un arnés en Rust que diferencia el crate ml-kem de RustCrypto (sin auditoría publicada) contra la referencia pq-crystals: idéntico byte a byte y rechaza las claves no-canónicas de FIPS 203, verificado por ejecución.