Release v1.7.0#42

pcrane wants to merge 6 commits intomaindiffblue/cover-annotations:mainfrom

release/1.7.0diffblue/cover-annotations:release/1.7.0Copy head branch name to clipboard