Yes, those were frozen to prop up the price. Doesn't mean he didn't have other ones.
Discussion
Even if those coins end up moving, nothing happens because what's going to happen, they're gonna send it to an exchange. If it goes from wallet to wallet, kind of doesn't matter.
I also believe those keys are destroyed. No, one has keys to those coins. He didn't leave them to his kids. His wife, nobody, those keys got destroyed. My opinion.
It's also largely irrelevant. Even if they all get dumped in the market, at once, the market would quickly absorb them because of all of the open shorts and hungry holders, and you can't dump them twice.
Once and then it's over.