Document verification status of Kyber round 3

[karthikbhargavan]

The ML-KEM implementation also supports Kyber round 3 under the "kyber" feature flag.
Although Kyber and ML-KEM share a lot of code, not all the Kyber code is targeted for verification.
So there should be some documentation on what using our Kyber code means from the verification point of view.