Add some assertion macros.