version bump for 0.80.7.
Merge branch 'release/0.80.7' into develop