Provably reasonable casinos allow it to be players to confirm games show having fun with cryptographic formulas