Change skip list probability to 1/2 from 1/4.
Put assert-only loop under HAVE_DIAGNOSTIC. #1371