Introduce CHECK() for tests that works with NDEBUG.

Closes #6.