Implemented basic Module verification, which is sadly not very useful
with asserts turned on.
Disabled verify test to avoid assertion failure when LLVM is compiled
with assertions.