For any particular case, I suggest that you work through the proof of the EM algorithm, such as https://en.wikipedia.org/wiki/Expectation%E2%80%93maximization_algorithm#Proof_of_correctness, in that setting. In general, I would expect that as long as your M step is increasing the value it is maximising the EM pass as a whole will increase the log likelihood, even if the M step isn't, for example, finding the absolute maximum at each pass.
I would still worry if this non-invertible matrix means that you have entered some special region of the solution set, though. Because the Expectation step works out the expected log likelihood under the current parameters, some special parameter values, especially zero, will mean that all of the possibilities considered in the maximization step share those special parameters - sometimes, once a parameter goes to zero, the EM algorithm can never change its mind and move that parameter away from zero. So it might be the case that once you get a non-invertible matrix, all further EM steps from that position will also have non-invertible matrices, in which case you might find that the EM algorithm gets stuck in local optima very quickly, before it has done much optimising.