“When there are multiple double-spent versions of the same transaction, one and only one will become valid.”