added .mli files
fixed bug with decryption check.  Now check both Block -> Init and Block
-> Block -> Init.