Understanding Verified Guarantees for Toto Sites: Security and Assurance for Players