tests for RedisSequence