A host of updates and bug-fixes to the prover.  Array_Realiz now verifies automatically.
Merge pull request #40 from hamptonsmith/facilities2

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