feat(util/logging.h): Make sure DREAL_LOG_{DEBUG,TRACE} have no side-effects
feat(util/logging.h): Make sure DREAL_LOG_{DEBUG,TRACE} have no side-effects

When they should not be triggered according to a logging-level.

dreal/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,soonho-tri/dreal4,dreal/dreal4,soonho-tri/dreal4,dreal/dreal4