Revert "Blake2s/256 for Son"
Revert "Blake2s/256 for Son"

This reverts commit a77b9ef72489df3eb1abd6c7bbb9aecfafb2593e.

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