Major efficiency improvements, including
- prune singletons idea
- adding implication finder
- remove backtracking as it is subsumed by other checks and is expensive
- remove subsumed programs from combiner
- improved neg example testing
- improve recalls and pointless relations
- improved unsat core
- add variant pruning
- many tweaks to reduce memory consumption