Incremental verifying

[morganthomas]

We need the ability to split up the verification computation into n many pieces which each use a piece of the proof, as close as practical to k/n in size, where k is the proof size.