Is Redis a hard requirement now or still a recommended setup? This is to address the case where people don't have redis installed.