Add more calls to list_disjoint_or_eq_reveal
Add more calls to list_disjoint_or_eq_reveal

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