Fix verification of Spec.AES128_GCM.fst
Fix verification of Spec.AES128_GCM.fst

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