Flash Player 10.2 sheds beta label, improves efficiency with Stage Video playback