Begin sketching out a bitcode verifier pass. Idea is to emit a .bc file and

then read the file back in to verify use-list serialization/deserialization.

llvm-svn: 146439