[ml-kem] improve auditability of Lean proof#190

robinhundt wants to merge 5 commits into

alex/mlkem-verification3celabshq/libcrux-iot:alex/mlkem-verification3from

robin/ml-kem-lean-proof-fixescelabshq/libcrux-iot:robin/ml-kem-lean-proof-fixesCopy head branch name to clipboard