Add an explicit open, so we're not relying on the interleaving from the fsti
Add an explicit open, so we're not relying on the interleaving from the
fsti

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