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

...s automatically.