Unified check() macro

Replaced all unit-test check macros with single truth-testing macro.