Major changes, done

1. Added direct products in section 3
2. Expanded Intro and Results appropriately
3. More careful treatment of P-time reductions (Karp vs Cook)
4. A number of small corrections.