Spec.Hash.Test: check length preconditions by normalization
Spec.Hash.Test: check length preconditions by normalization

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