Version bump (0.8.0).