All field element constants have the proper invariants
A number of pre-computed constant didn't follow the ideal invariants set
forth by the carry propagation logic. This increased the risk of limb
overflow.
Now all such constants are generated with fe_frombytes(), which
guarantees they can withstand the same number of additions and
subtraction before needing carry propagation. This reduces the risks,
and simplifies the analysis of code using field arithmetic.