redex: randomly choose between search heuristics