Text this: Constant time lattice reduction in dimension 4 with application to SQIsign