Disable greedy throttling

Fixes the uniform sampling for SampleSAT/WalkSAT.