Check Kyber specs deviations

[falko-strenzke]

There has been a discussion about deviations about details of the Kyber specs which will start to matter if we are attempting KAT tests for key generation and encapsulation:

• Question about Ahat_transposed in ML-KEM / Kyber
  • answer from NIST https://groups.google.com/a/list.nist.gov/g/pqc-forum/c/VR46ff3LtQs/m/53iA1F0xAAAJ