1.0.4.32: De-pessimize >= and <= transforms

1.0.4.32: De-pessimize >= and <= transforms

	Wait until we've computed type information for all the code we've
	  introduced in this optimization pass before making the transform.
	  We once again produce decent code for:

	(defun foo (x y)
	  (declare (simple-vector x y))
	  (do ((i 0 (1+ i))
	       (end (length x)))
	      ((>= i end) y)
	    (setf (aref y i) (aref x i))))