Drop default slice boundaries

Rewrite seq[0:len(seq)] as seq[:]. It only fires where seq is a side-effect-free name whose type resolves to a builtin sequence such as list or str, and where len is the builtin. A slice with a step is left alone.