Verify any Duel Blackjack deal. Each of the next 50 cards is drawn independently from HMAC-SHA256 at cursor 0..49 — uint32 modulo 52 picks a card from the standard deck. Not a Fisher-Yates shuffle: by design, the same card can repeat in the stream.
