+ Fixed a bug in SearchResultStream.GetEnumerator and SearchResultStream.PushObservations
  Same sort of bug as in SearchPreviewStream.
+  Also updated examples