No, those haven't hit Ali yet. But it seems like nearly everything shows up on Ali sooner or later, even the 2022 SDCC exclusive was up. I think the only sets that were never on Aliexpress were the Turtles in Disguise, the Channel 6 set and some of the lootcrate figures.
I hope you are wrong about him being part of that Walmart NFT thing, that would royally suck for international collectors (like myself). Don't care that they do this for variants but they really shouldn't for regular release figures.
Anyway, I'll be keeping an eye out and post here if I see him pop up.