[3.12] gh-99108: Update and check HACL* version information (GH-117295)#117302