Yep, we actually see perf benefits overall with ART. Starting with redex-optimized bytecode actually helps dex2oat generate faster/smaller native code.