Interesting. I should note that most of this stuff (optimization, etc) is available through Haxe. Haxe can also compile to Javascript, iOS & Android; targeting just Flash is risky at this point.
Just to add to this. For mobile compilation targets, Android, Blackberry, iOS and webOS, support is added through the Haxe NME framework: (www.haxenme.org/).
Haxe doesn't provide those compilation targets on its own.
I'm surprised that when I look at Haxe's showcase (http://www.haxenme.org/showcase/) - most apps there are only available on a small subset of the platforms Haxe compiles to.