dump.py: Set default verbose to False