s_expressions-printers-pretty: fix size estimation of verbatim encoding