Added Hyafil's (something like his) proof in the depth reduction part
Minor typos in the VNP completeness part
Merge branch 'Hyafil'

Added some proof which is similar to Hyafil's proof for a quasipoly depth reduction