Short sellers eying China’s hottest AI firms have found the going hard with so little of their shares publicly traded. That scarcity premium may come to an end in July as stock lockups expire.