Add streaming verification

[DrPeterVanNostrand]

Create a streaming version of merge_pairs() that calculates linear combinations in a stream rather than requiring h/l to be fully loaded into memory. This will make verification possible for memory constrained verifiers.