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