OS X Mavericks developer preview 4 was released today, so I think there's some outside chance that iOS 7 will be pushed via OTA today. Of course, if it requires entirely new download and/or Xcode update to work correctly, it will likely be postponed until ADC is back up.