Spec.Blake2: remove unnecessary inline_for_extraction and add unfold
Spec.Blake2: remove unnecessary inline_for_extraction and add unfold

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