Update CHANGES and bump to version 0.80