Fixed AEAD algorithm and added test vectors.

I had missed the part where CBC-ENC prepended the IV, plus I'd bacon-handed a few algorithm specifics. The current implementation passes all test vectors in draft-02, and makes passing the nonce to AEAD.Open optional.