Add VERIFY_CHECK and use CHECK macros more
Makefile.am changes