Split redis-check-dump.c