Quantizing With Randomized Hadamard Transforms: Efficient Heuristic Now Proven (ArXiv cs.DS Recent Papers, 2026)