Fix SHA3 extraction and relocate .checked files in top-level .cache
Fix SHA3 extraction and relocate .checked files in top-level .cache

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