Added performance goal and verification (last page)

Added performance goal and verification (last page). Also, updated
"S(n)" to "S" and removed last paragraph for parallel implementation#2
about the 65,536 example (this got moved to performance). Removed
duplicate docx from diagrams.