Run a verification pass before any splitting to better distribute blame.