Some basic verification

 - adds a basic function for heap verification
 - has some command-line parameters (--help) and can produce machine-readable output