Ensure Toolchain and Platform Checks are correct about hacl-packages HOT 1 CLOSED

• Check for avx
  Lib_IntVector_Intrinsics_vec256_extract32,
  Lib_IntVector_Intrinsics_vec256_extract64,
  Lib_IntVector_Intrinsics_vec256_insert32,
  Lib_IntVector_Intrinsics_vec256_insert64,
  Lib_IntVector_Intrinsics_vec256_insert8,
  Lib_IntVector_Intrinsics_vec256_load128,
  Lib_IntVector_Intrinsics_vec256_load128s,
  Lib_IntVector_Intrinsics_vec256_load32,
  Lib_IntVector_Intrinsics_vec256_load32_le,
  Lib_IntVector_Intrinsics_vec256_load32s,
  Lib_IntVector_Intrinsics_vec256_load64,
  Lib_IntVector_Intrinsics_vec256_load64_le,
  Lib_IntVector_Intrinsics_vec256_load64s,
  Lib_IntVector_Intrinsics_vec256_store32_le,
  Lib_IntVector_Intrinsics_vec256_store64_le,
  Lib_IntVector_Intrinsics_vec256_zero

• Check for avx and avx2
  Lib_IntVector_Intrinsics_vec256_load32_be
Lib_IntVector_Intrinsics_vec256_load64_be
Lib_IntVector_Intrinsics_vec256_lognot
Lib_IntVector_Intrinsics_vec256_smul32
Lib_IntVector_Intrinsics_vec256_store32_be
Lib_IntVector_Intrinsics_vec256_store64_be

• Check for avx2
  Lib_IntVector_Intrinsics_vec256_add32,
  Lib_IntVector_Intrinsics_vec256_add64,
  Lib_IntVector_Intrinsics_vec256_and,
  Lib_IntVector_Intrinsics_vec256_eq32,
  Lib_IntVector_Intrinsics_vec256_extract8,
  Lib_IntVector_Intrinsics_vec256_gt32,
  Lib_IntVector_Intrinsics_vec256_gt64,
  Lib_IntVector_Intrinsics_vec256_interleave_high128,
  Lib_IntVector_Intrinsics_vec256_interleave_high32,
  Lib_IntVector_Intrinsics_vec256_interleave_high64,
  Lib_IntVector_Intrinsics_vec256_interleave_low128,
  Lib_IntVector_Intrinsics_vec256_interleave_low32,
  Lib_IntVector_Intrinsics_vec256_interleave_low64,
  Lib_IntVector_Intrinsics_vec256_mul32,
  Lib_IntVector_Intrinsics_vec256_mul64,
  Lib_IntVector_Intrinsics_vec256_or,
  Lib_IntVector_Intrinsics_vec256_rotate_left32,
  Lib_IntVector_Intrinsics_vec256_rotate_left32_16,
  Lib_IntVector_Intrinsics_vec256_rotate_left32_24,
  Lib_IntVector_Intrinsics_vec256_rotate_left32_8,
  Lib_IntVector_Intrinsics_vec256_rotate_left64,
  Lib_IntVector_Intrinsics_vec256_rotate_right_lanes32,
  Lib_IntVector_Intrinsics_vec256_rotate_right_lanes64,
  Lib_IntVector_Intrinsics_vec256_rotate_right32,
  Lib_IntVector_Intrinsics_vec256_rotate_right64,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_16,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_24,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_32,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_40,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_48,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_56,
  Lib_IntVector_Intrinsics_vec256_rotate_right64_8,
  Lib_IntVector_Intrinsics_vec256_shift_left,
  Lib_IntVector_Intrinsics_vec256_shift_left32,
  Lib_IntVector_Intrinsics_vec256_shift_left64,
  Lib_IntVector_Intrinsics_vec256_shift_right,
  Lib_IntVector_Intrinsics_vec256_shift_right32,
  Lib_IntVector_Intrinsics_vec256_shift_right64,
  Lib_IntVector_Intrinsics_vec256_shuffle32,
  Lib_IntVector_Intrinsics_vec256_shuffle64,
  Lib_IntVector_Intrinsics_vec256_smul64,
  Lib_IntVector_Intrinsics_vec256_sub32,
  Lib_IntVector_Intrinsics_vec256_sub64,
  Lib_IntVector_Intrinsics_vec256_xor,
  Lib_IntVector_Intrinsics_vec256_eq64,

from hacl-packages.