Rethinking Training Schedules For Verifiably Robust Networks