Remove useless several options in redis configuration, as they require a redis version not in our test environment.
Remove useless several options in redis configuration, as they require a redis version not in our test environment.

CosyVerif/library,CosyVerif/library,CosyVerif/library