Milner testing.
Factorized candidate term generation rules + tuned them.
Two-state / one-state separation in lsd.
Optional trans scanning.
Improved implication pruning and candidate term generation.
Merge pull request #1 from AdrienChampion/milner

Merging benchmarking branch (for milner).