Replace all instances of 'cut' by 'assert' as they now are synonyms
Replace all instances of 'cut' by 'assert' as they now are synonyms

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