A Closer Look at Casino Random Number Generators