Better assertion macros.