in CheckCarryToZero, EPSILON=3 may be too small for small n

[gubsheep]

cc @ecnerwala

[ecnerwala]

This turns out to be okay, factor of 2 (1 bit) should be enough.