Provable Lipschitz Certification for Generative Models