Crash-consistency testing with fault injection