Is ProGuard or similar widely used these days? Is it good enough? There was a parallel trend of some really awesome apps clocking less than 4MB, which I attrib

Is ProGuard or similar widely used these days? Is it good enough? There was a parallel trend of some really awesome apps clocking less than 4MB, which I attribute to good tooling. I wonder if Gmail, Facebook, et al have stripping & such turned off, or if they just have huge asset stores?