On the Scalability of Certified Adversarial Robustness with Generated Data 3