Neural Control and Certificate Repair via Runtime Monitoring