Pass scopes to progress reporter.
Move assertion specs to a separate file.