we actually have a frontend for reachability now
convenience script for running command-line reachability from file
programs using verify function to do reachability will dump arguments into /tmp/debug-[name].kat
fix line length
got the input and output packets backwards when parsing for reachability