A host of updates and bug-fixes to the prover.  Array_Realiz now verifies automatically.