Better printing of options
Calculation of polarities is now default for startup and optional later
Random variable pickings are not very useful, disabling

Maybe simple --freq 0.001 would help, or maybe when trail is high, we
could do some random pickings from top 20
This assert() is needed here for sanity
Perform blocking restarts as per Glucose 3.0