Giving binary clauses a higher wait.

The weights have been roughly optimised on VanDerWaerden_2-3-12_134/135.cnf
at steps 0.5.
Adding option "-fwhole-program".

Apparently this doesn't change the speed of execution, but it makes the
executable smaller, and thus can't hurt to have it.