Fixed bugs in the proguard config and in the visualizer cleanup