According to Zanz on chat, the built-in-to-flash RNG is now used for everything outside of PvP. Don't know any details about what is used in PvP, but it was something different, for desynch-avoiding purposes.
Shuffling is unchanged as yet, and deemed low priority, as the bias caused by that error shouldn't really be noticeable.