Fleshed out most of introduction. Adjusted Definitions section.
Added circuit lower bounds papers.
Newly compiled version.