After 03/24/2014, if 1BitcoinEaterAddressDontSendf59kuE has at least 2000 millibits, 1 public key from the first 2-of-4 address will be revealed, and 2 public keys from the second address. Alice will be able send all 20 millibits to her own address.
What prevents Bob, or anyone with knowledge of the redemption script, to quickly move 10 of the millibits before Alice can do so, as soon as realitykeys reveals two of the keys? If Bob keeps the redemption script private, how can Alice prove that Bob deposited coins for the bet.