leader detection should default to true

Now that leader election is stable, we should default it on. Otherwise, customers are likely to be surprised when they kill a node and nothing happens!