Add tests that integrate with llvm-bcanalyzer

[hryx]

llvm-bcanalyzer is an official LLVM tool that reads, validates, and analyzes bitcode files. Generate .bc files and ensure llvm-bcanalyzer is able to parse them correctly.

As with #5, consider fuzz testing to generating files of various size/complexity.