add man page for tdl-verify
add some basic specs testing tdl verify