Mark instructions that produce non-null object arguments as non-null.

Improve null-check elimination by marking instructions that can't produce a
non-null object as non-null. Reduces the size of ThinkFree by 16kb (0.05%).

Change-Id: I43148b55a4896081fe3da37a3345814b55fa9b82