Minor improvement for tests/Spec.Blake2.Incremental.Test.fst
Minor improvement for tests/Spec.Blake2.Incremental.Test.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