[GIT PULL 00/10] perf/cover improvements and fixes