code: def verify(self):
          
          with ffi.OutputString() as outmsg:
              if ffi.lib.LLVMPY_VerifyModule(self, outmsg):
                  raise RuntimeError(str(outmsg))
docs: Verify the module IR's correctness.  RuntimeError is raised on error.