On the Fundamental Limits in High-dimensional Testing and Inference