Is Magic Dice Provably Fair?