on that note, I wonder what happens if you get rid of a Pokemon's Levitate ability, like through Skill Swap or Worry Seed. They become banned moves? Automatic switch-out? Automatic KO? Or maybe sky battles are programmed to include specific Pokemon regardless of their ability or typing (which could mean that Natu and Archen aren't allowed, but Heatproof/Heavy Metal Bronzong is).