Additional changes to propnetStateMachine - TicTacToe now seems to work,
however games like Connect4 still have issues.
Modified PropNetSM to use OptimizingPropNetFactory to generate propnets
with seemingly fewer errors.
Integrated Bertrand's speed/correctness testers.

Current PropNet speed on Connect4: ~5500 ops/second
Current Prover speed on Connect4: ~1000 ops/second