Wintermute and Cumberland-backed Mangrove plans a mainnet launch of its programmable order book DEX in early June.