Some small code improvements.
Fixed bug in SpanQueryFiltered when filtering multi-segment index.

Also made some improvements to SpansNot in the process, which should
make []-queries faster.