Make SHA2 module specifications match the underlying proven memory-safe Hacl.Hash.SHA2.L256
Make SHA2 module specifications match the underlying proven memory-safe Hacl.Hash.SHA2.L256

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