Extensible assertion library