Revert "Temporarily switch to nik_strict to test CI"
Revert "Temporarily switch to nik_strict to test CI"

This reverts commit cdbd89bc1d5c57ca411997ee1ed4e3d331465e8a.

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