Nine U.S.-listed companies, including Broadcom, CoreWeave, Verizon, UnitedHealth Group, and Cerebras Systems, filed formal notices objecting to tokenized versions of their stock trading on OKXICE