Update Hacl.Streaming.Blake2.fst to make normalization easier
Update Hacl.Streaming.Blake2.fst to make normalization easier

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