Fix Spec.Frodo.Encode for FrodoKEM-976
Fix Spec.Frodo.Encode for FrodoKEM-976

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star