Assert: a simple assertion facility.