optimistic concurrency in sequencer::search
consistent cache search in backward direction, no cache search in forward direction
test suite improved
fixed race condition in sequencer