Spec: 4.5: quadratic proof not handled

[tgeoghegan]

verify instructs us to write the low degree test and dot proofs to the transcript, but not the quadratic proof chunks. Those should get written after dot, but before generating the requested column indices.