Improved redis implementation to support sequences and CAS. Extended test coverage