gh-99108: Refresh HACL*; update modules accordingly; fix namespacing#117237

gpshead merged 3 commits intopython:mainpython/cpython:mainfrom

msprotz:refresh_haclmsprotz/cpython:refresh_haclCopy head branch name to clipboard