make pretty.max_seq_length configurable

via PlainTextFormatter.max_seq_length