[ML-KEM] Update `verification_status.md`

[jschneider-bensch]

Should this get updated to reflect the status here?

Originally posted by @franziskuskiefer in #105 (comment)

We're blocked on this same information being available on the &mut branch of mainline libcrux.