update to hacl 309736b87a124ad1bdc2dc34e7768568039639e5 #1120

Job	Run time
default	48s
android (aarch64-linux-android)	51s
macos (gcc, 64)	46s
linux (gcc, 32)	50s
macos (gcc, 64, aarch64-apple-ios)	1s
s390x-gcc	48s
linux (gcc, 64)	48s
macos (gcc, 64, aarch64-apple-darwin)	14s
windows (32)	33s
linux (clang, 32)	48s
macos (clang, 64)	46s
linux (clang, 64)	50s
windows (64)	33s
macos (clang, 64, aarch64-apple-ios)	43s
windows (64, --msvc)	33s
macos (clang, 64, aarch64-apple-darwin)	53s
	10m 45s

Provide feedback