crucible-llvm-0.7.1: Support for translating and executing LLVM code in Crucible