sync_verify now uses python Counters for its coundown data structure instead of python lists.  It should be at worst a constant factor slower (likely unnoticable) but is sleightly more readable in my opinion.