Even when satashi left the forum the coins that he had mined were worth a good chunk of change, at least several thousand dollars. For this reason, I highly doubt that he would have lost his wallet.

He would also actually more likely use his PGP key to verify his identity, which also (IMO) has a low chance of being lost by satashi