pub fn sub_l4(a: [b85; 4], b: [b85; 4]) -> ([b85; 4], bool)
Four-limb subtraction; returns a - b mod 2^340 and whether it borrowed.
a - b mod 2^340