Are there any proper DEXs with big volume? Although I haven't checked, I assume none of them match a big centralized exchange's volume yet. Everyone would switch to the DEX if there were any with high volume.

Hopefully in another year or two some genuine DEXs might take over from centralized exchanges.