Update [Vale.X64.Lemmas] due to latest changes
Update [Vale.X64.Lemmas] due to latest changes

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