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