Text this: Quantizing With Randomized Hadamard Transforms: Efficient Heuristic Now Proven