This pulls an updated version of HACL* that fixes the memory leak reported in #140120, via an upstream fix.