Assert that all trace candidate blocks have been visited by the PO.