Stones has - but did he ever quite live up to the hype? He was too good for us, but was never quite the world star some were heralding him as. The rest? I wouldn't be so sure. Let's see where Gordon is in a few years.
Rooney is the obvious one, of course. Lookman has done marvelously. While some moved on to better pastures (Lescott, Arteta), I'm not sure they ever really performed at hugely improved standards at their new clubs. They simply took their competence to better surroundings. But Lookman has unquestionably developed. Perhaps that was inevitable? I don't think so. He had been to Leipzig from a young age and showed maturity in taking on that culture change. So, he deserves great credit.
Richarlison is another for the long list of "largely saw his best days at Everton" even though he was touted as a superstar.
Of course, I'm not blaming ANY of those players for moving on. Everton was run like a corner shop for three decades. It was no place for genuine talent. It's just that some weren't quite as talented as they liked us to believe...