Add test for missing Dbg.trace/1,2 flags
Document all the things!