Mark Cuban is leaving Shark Tank.