Text this: Detecting Adversarial Data via Provable Adversarial Noise Amplification