Add same-length constraint to CPA game.
Add ciphertext integrity game.
Explicitly mention smantic security.