Various small fixes.
Encryption mode diagrams.
Fix typos. Replace proof that PRPs are PRFs. Other fixes.
initial version