Well, I would remove the wires from the sensor tracks at the module... this way the module is only getting the "input" from the short.
I figured once you removed the wires from the sensor tracks at the module it might just be easy to connect them to the rails adjacent, much easier than replacing the insulators with solid joiners, so I was thinking this might be the easiest way.
of course if it is easy to swap out 2 of the 4 insulated joiners, that may be the easiest approach.
The whole idea is testing the theory that the current implementation may be sendind "mixed messages" to the module and causing issues.
I know in Europe there seems to be a great aversion to using the "detect a short and reverse" type of autoreverser, mainly because you get "sparks"... but I know that if you get down at track level and run at night, you will see plenty of sparks on just normal running.
So I maintain that the additional "sparking" of this type of autoreverser causes no additional problems..
of course on DC running, your options are limited for an off the shelf autoreverser, but for DCC, thousands of people here in the USA have no issues. I use the DCC Specialties PSX-AR autoreverser and it is programmable (by CV or jumper) for different trip points, cascaded autoreversers, etc.
Greg