Problem with verification

[jon-chuang]

Since we care about overlap of check_power_ratios, the correct thing to do ought actually to be to read the buffer from start to min(end+1, powers_length), not from start to end, resulting in non-overlapping checks, which is obviously wrong...

Edit: well, iter_chunk seems to handle overlap, but why is overlap correct even for ::computation.rs? Also, I don't understand why this way of handling overlap is correct...