vc4: Make some assertions about how many flushes/EOFs the simulator sees.