Guaranteed Validity for Empirical Approaches to Adaptive Data Analysis