How are you handling the Gradle experimental plugin and Jack/Jill (no problems because you operate at dex level?)? I heard Proguard and other class/dex transformations were having trouble adopting the new model. Supposedly Google is working on adding extension points to the API.
We should work fine with Jack & Jill since, as you said, we work at the dex level. That said, it'll be interesting to see how our optimizations interact.
Yep, we actually see perf benefits overall with ART. Starting with redex-optimized bytecode actually helps dex2oat generate faster/smaller native code.
Actually I'm pretty interested to see what we can do with jack, since it has an API to hook into various stages of the code generation pipeline. We haven't invested much time in it yet though, since it's still in a somewhat experimental phase. Looking forward to investigating it more, though.