rename the assert macros; add a test for the assert macros