Incorporate updates to Protogalaxy paper

[codygunton]

Since we began implementing Protogalaxy, updates have been made to the paper. We should check that all of these upgrades have made it into the paper. In particular, there is a new first step in the protocol

$V$ checks for each $i \in [k]$ that $\phi$ i is $\mathcal{H}$-consistent, and outputs $\text{rej}$ otherwise.