Version bump, 0.8.0.