Performance and correctness fixes for some OPNF optimizations.
Rewrite removeUnreachableBasesAndInputs for correctness and performance.

The new version fixes a few correctness bugs with the results, and runs
in less time than the propnet generation takes for all games tested.
Merge pull request #41 from ggp-org/opnf

OPNF perf improvements and bug fixes