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...
Mostly formatting changes.
A few significant optimizations to the prover.
Merge pull request #41 from hamptonsmith/facilities2

A number of optimizations to the prover.