Bump version: 0.7.2 → 0.8.0