yes, those are just workarounds...
the real solution can only be provided by nvidia on next version of drivers. I hope they won't ignore this problem, after they saw so much people experienced it.
I will try to not restart xserver every logout, and make a copy of xfree log after the crash (and before the x restart!), modifying some scripts. maybe we will get information for debugging.