The prediction platform said it would reimburse users and resolve markets to the last-traded price before the death of the Iranian leader was confirmed.