Python bytecode optimizer