Add support for resolving comparisons which are certain despite an uncertain operand. This helps by eliminating things like padding loops even when we're not certain how long the loop would be; the comparison is typically something like bytes_written_so_far (unknown) >= minimum_bytes, which is true in minimum_bytes is zero.