"Fix" time out in sha_update_bytes via a z3refresh
"Fix" time out in sha_update_bytes via a z3refresh

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