making the verify target use dependences for  better interaction with -j -k
making the verify target use dependences for  better interaction with -j -k

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