A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs