Make minor improvements in Hacl.Streaming.Blake2.stateful_key
Make minor improvements in Hacl.Streaming.Blake2.stateful_key

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