Add guided, rand, and bcp-based polarity selection heuristics.
CBH s too slow, need improvement