Fe25519.normalizeTail
private
void normalizeTail() pure nothrow @safe @nogcPropagates the small overflow left in limb zero after a wrapped carry. Fixed two-step chain; the bound analysis in the module documentation guarantees at most a couple of units reach step 2.