Casino security and fairness: how shuffling, RNGs and audits work