Support for generating icmp instructions

This supports everything except vector comparisons. This will likely be
helpful early for boxed type checking, determining truthiness, etc.
Small test name typo fix