ctx_contigs.c: make --no-reseed default