table.py: `Table.flush()` returns `maxlens`