Add suggestion to set params_n = 64 for running the reduced-size test vectors
Add suggestion to set params_n = 64 for running the reduced-size test vectors

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