read_file undercounts total_lines and can silently drop the last line of a file without a trailing newline

read_file undercounts total_lines for files without a trailing newline and can silently drop the last line at a page boundary while reporting the read as complete.