Pull in updates to dbgcheck.h.

This does not change any functionality, but keeps dbgcheck.h
synchronized with other versions of that interface I'm using in other
projects (some of them private).