Verifying Treaty Compliance