A New Quantum Lower Bound Method, with an Application to a Strong Direct Product Theorem for Quantum Search