A failed grocery deal by Asia’s richest man is good news for the Hong Kong Stock Exchange