* `-bitlength N` can be used in conjunction with `-cryptol` to specify the
  bitlength of the underlying blockcipher

* `-save` now works with `-cryptol` to allow saving generated files to a place
  of the user's choosing.