Bump maximum number of tracked unique crash cases from 999 to 9999.

Achieved by moving from "%03d-name.swift" to "%04d-name.swift".

This change will be needed for this week's fuzzing Friday which will massively increase the number of tracked unique crash cases.