Fix correctness and perf issues in compare, recording, naming and checks#1767

SimonCropp merged 2 commits into

mainVerifyTests/Verify:mainfrom

Fix-correctness-and-perf-issues-in-compare,-recording,-naming-and-checksVerifyTests/Verify:Fix-correctness-and-perf-issues-in-compare,-recording,-naming-and-checksCopy head branch name to clipboard