Verifying LLVM Bitcode
======================

TODO