options.c: use Polyhedron_Sample for counting infinite sets by default