Make assertions more consistent with the rest of the intrinsic

function verification and make it a requirement that both arguments to
llvm.isunordered are of the same type.

llvm-svn: 14165