Updates NDDesiderata testing configuration.
Adds trace macros for returning BOOL values from a trace statement (don't ask).