Adds details of proof that PCP theorem works for NC verifier; adds reference to what I believe to be an alternate proof.
Adds TODO.