Enable ProGuard for the release build.

This apparently optimizes for speed (inlining getters and setters,
for instance) and for size (removes dead code).