Fixed verify script to check counts of every pair.

Also now dumps out the result to file.