__init__.py: Added --abort-early option.