Made a number of changes to support Monte Carlo testing, which is now
complete for AES and complete for 3DES/CBC and 3DES/ECB. I'm currently
stuck on understanding what's going on with 3DES/OFB and haven't tackled
3DES/CFB* yet. I also haven't yet documented changes to the DSL to
support Monte Carlo, but will do so soon.