Major bugfix in writeback pertaining

Searching of circular arrrays should never be from i = 0 to i = array_size.
Both the benchmarks simple.s and vect.s *exactly* match at this stage of the code development.
Hurray.