Add generic assert-macros for true/false