Proposition for Stream.scala

s1.zipWithAll(s2) should return a finite stream if both s1 and s2 are finite.