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