Remove sentinel() macro in dbg.h, didn't particularly find it useful
Add documentation for the logging, debugging and checking macros