bumping version to 0.8 was a bad idea, downgrade to 0.7.2

We would have to update a lot of dependencies in other packages to do
0.8.  For now let's wait until we are about to release and then bump
all the versions together as appropriate.