Module.link_in should not delete other.ptr and should prevent the other.ptr from being destroyed
Make note about preverifier bug in LLVM that *.verify() will abort upon error