Fix verify.rkt to actually fail if there is a problem

Now verify.rkt returns 0 if all files match and
                       1 if any file does not match.