Revert breaking change in lowc_stub (with F* stable)
Revert breaking change in lowc_stub (with F* stable)

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