Unified check() macro

Replaced all unit-test check macros with single truth-testing macro.
Merge branch 'master' into http