Add VERIFY_CHECK/DEBUG_CHECK and use CHECK macros more
Merge pull request #54

1c7fa13 Add VERIFY_CHECK/DEBUG_CHECK and use CHECK macros more (Pieter Wuille)