Added -verbose switch to proguard configuration