Understanding the Eat-and-Run Verification Procedure in On-line Betting