Add claim-by-claim verification and release audit

Add exact Algorithm 4 IVON-PoCoMo audit

Reproduce claim 2 IVON-PoCoMo: posterior correction reduces gradient variance 0.0086->1e-6, Adam-like preconditioned convergence beats SGD/matches Adam

Update logbook: Repro - SVRG via Posterior Correction

Update logbook: Repro - SVRG via Posterior Correction

Update logbook: Repro - SVRG via Posterior Correction