CleanupBudget is the internal record used to limit the slow deletion of terminated vats. Each property limits the number of deletions per 'cleanup-terminated-vat' run-queue event, for a specific phase (imports, exports, snapshots, etc). It must always have a 'default' property, which is used for phases that aren't otherwise specified.