If you read the article (I know, a FR tradition encourages commenting without reading), you’ll see the casino buys the cards from the manufacturer pre-shuffled. The card manufacturer delivered unshuffled decks of cards.
However, the article also stated that the dealer dealt the same sequence of cards over and over again. Not sure how that would have happened unless they didn't shuffle between games or, instead, used a new deck each time (all of which were unshuffled).
I'm not an expert on how casinos operate, so maybe it is common practice to open a new deck of cards for each game.
Pre-shuffled cards? Is that really that much of a time-saver? Plus I’ve never seen a game that doesn’t have a time out for shuffling by hand. The only exception was the Bellagio that had these toilet seat looking gizmos attached to the 6 deck shoe where the old cards are deposited, shuffled and put back. No game stoppage.