I have now ended up with interleaved paired-end read files where the order of reads is not the same throughout the file, ie. sometimes the forward read is first, sometimes the reverse read is first, but they are otherwise paired in succession.
I have always assumed that all the programs just look at the order of the reads and headers are ignored, since it does not matter which read is forward, which is reverse, so I should be fine with this for downstream applications?