Inference for Surrogate Endpoint Validation in the Binary Case