At least for the "file size optimization" request, I've got good news: I just created a small ruby script that can process "Animation.JSON" files, optimizing and (optionally) zipping them.
The tool is found in the "tools/optimize_json" directory.
Are you familiar with how to run a Ruby script?
I'll add some more documentation soon, but for now, beware that you need to have installed the "rubyzip" gem to use it:
gem install rubyzip
Then you can run the tool like this:
ruby optimize_json.rb --zip ../../assets/ninja-girl/Animation.json
This will add the file "Animation.json.zip" to the "ninja-girl" folder.
As for the results the tool can achieve, look at the size of the "Ninja-Girl" animation file:
* Original output from Adobe: 4.1 MB (zipped: 99kB)
* Optimized with "optimize_json": 476 kB (zipped: 32 kB)
I think that's already a big improvement!
Alas, this doesn't help with scale factor support — that would be the most important change.
Let me know if you need any help with the optimizer!
Will there be a chance that these features would get implemented in the near future? As it is out of Adobe Air's scope, I'm a bit worried...
Actually, this feature is not tied to Adobe AIR — they actually created it together with an extension for Unity3D (!). So I'm optimistic that this extension will be enhanced in the future, regardless of the fate of AIR.