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

This reverts commit 45a5412fa7add45ab7c94c3bb8fb21ab9b2905d3.

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