An assertion framework for C++ that can use Rich Booleans