Specification SHA2: update pad function to ease the proof on the stateful side
Specification SHA2: update pad function to ease the proof on the stateful side

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