Fix: Proof Chain Reorg Reintroductoin

[jp4g]

Reorganization of proof chains was commented out to add in nullifiers. Should add this back in so that proof availability updates for lower degree opportunities for provers + removing old non-dependent proofs