It has been 18 days without response, thanks anyway.
In the meantime we found a watchdog type solution for checking the phase of RX and TX FIFOs with respect to the LRCLK and the phase of each DMA with respect to the FIFOs. Turned out that all four mutual sources of error hardly ever cause trouble, even during debugging, and our resync procedure has not really been tested yet. I mean there are lots of MCUs running without any watchdog at all...
The Cortex M4 with its 32 x 32 MAC and the Kinetis TDM capable I2S make a nice machine for high end audio.