Added some strictness in an attempt to resolve space leak.  Removed a
major space leak due to unneeded formula retention.  There is still some
leaking memory but on a much smaller scale than before.
Added benchmarks that test benefits of substitution on the Riemann
integration verification example.  Started an archive of polypaver
executables so that we can easily measure its improvement on new
benchmark problems.