Implemented basic Module verification, which is sadly not very useful
with asserts turned on.

Conflicts:

	llvm-general.cabal
	src/LLVM/General/Internal/FFI/LLVMCTypes.hsc
Disabled verify test to avoid assertion failure when LLVM is compiled
with assertions.
hackage release update