Text this: Provable Quantization with Randomized Hadamard Transform