pub fn below_l(s: [b64; 4]) -> bool
S < l for four little-endian words, l = 2^252 + 27742317777372353535851937790883648493 the group order.
S < l
l = 2^252 + 27742317777372353535851937790883648493