update difference logic of PrZip iterators

as discussed in #77 (closed) this MR is under the assumption that keeping PrZipIterators as random access iterators and makes the logic of difference_type operator-(iterator, iterator) and iterator operator+(iterator, difference_type) consistent.