Fix test: It was missing run lines and llvm-dis has no -disable-verify option.