SHA-256: Relax precondition on the length of the final output hash buffer
SHA-256: Relax precondition on the length of the final output hash buffer

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