proguard should not (by default) obfuscate generated code, just shrink and optimize