Refactored assertion recorder, implemented assertThrew().