test that completed unions get migrated on buffer flush
The other properties of union migration already get tested through the existing tests. Since a union table's remaining debt can only reach zero once the union level is migrated, all tests that check that supplying union credits sufficiently reduces the debt also check that the union gets migrated.