Relaxing Hacl.SBuffer type to allow proofs to use FStar.Buffer (temp fix)
Relaxing Hacl.SBuffer type to allow proofs to use FStar.Buffer (temp fix)

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