Atomicchecer now really checks atomicness.  It though is unefficient (and unrealible).