Use TestRedis.php to run tests!