Well, it's never too late! In the end I wrote a proof under somewhat stricter conditions which was a straightforward approach to get the work in an acceptable shape. It's still on my todo list to revise it, though I know how to do it now. It's just that the math can sometimes turn into quite a beast, and you need the correct mindset to do it :)