In this case, you're treating the casino as trusted third party (TTP). If that trust is broken for any reason (due to a flawed implementation, or due to a malice, etc), then your coins are nit non-KYC.

In the nutshell you are asking if we should trust mixnets (coin mixing services), there is plenty if research literature on it but I don't know if there's a well known implementation.