Add some comments.  Improve dmt::verify() to check for more types of corruption.  More static checks
Fix compile, and add new verify() to dmt-test2