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