Improved carry-chain management

[unzvfu]

Carry chains in field arithmetic are a significant source of data dependency which can cause pipeline stalls and bubbles. In some cases instead of handling carries at their source we can accumulate and defer treatment until later. We should identify places where this is possible. Possibly most applicable in the context of #72.