v3.12.13
[3.12] gh-99108: Refresh HACL*; update modules accordingly; fix namespacing (GH-117237) (GH-117243)
[3.12] gh-99108: Refresh HACL* (GH-104808) (#104893)
gh-99108: Replace SHA2-224 & 256 with verified code from HACL* (#99109)