I don't think that casinos use hidden mining tools, at least not those respectful ones. Besides that could be detected if check your computer thoroughly. Although I'm not fan of auto betting but for different reasons I don't think this feature is misused.