Fix lang-ref doc bug: s/icmp lt/icmp slt/