Update release notes
Fix correctness check skip in verifier
Fix recording of running operator stats

They were not being merged properly into the operator summaries for the pipeline
Add live visualization for query execution

This can be accessed via the "execution" link in the query details UI
Update 0.80 release notes
Update 0.80 release notes