[move-only] Improve logging to make it more readable and add a counter to bisect on variables that we are checking.
These are only on in NDEBUG mode. It just makes it easier to quickly triage
which variable is causing a checking problem.
(cherry picked from commit fb487bf0efcdfb20512aedf4ee252f4e8a42e66a)