Stateful HMAC_SHA2_256: renaming some lemmas
Stateful HMAC_SHA2_256: renaming some lemmas

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