A small assertion library.