Bitcoin casinos fool around with provably reasonable formulas supported by full blockchain transparency