Add sanity-checks after main loop exists, verifying that all