I can't understand the fuss here.
Players must realise that they are gambling against a random number generator, no matter how the casino cares to present the game. You are not gambling against a real deck of cards!
As long as the players expectation is the same, which it is, what does it matter?
If it speeds the game up, good, I am in favour of it.
Should players use this double up feature? Of course they should, it is one of the few situations in which the casino does not have any edge.
And if doubling happens to count towards
WR, then it is a no brainer.
Mitch