Add verification program and Makefile

Used to verify the data structures