Removed old auto-verify_prod.py