Added circuit complexity section to natural proofs section.
Added Shannon 49 reference.
Newly compiled version.