[sgen] Flush binary protocol buffers after unloading a domain.

When the runtime shuts down the last thing the GC usually hears about it
is that the root domain is unloaded.  If we don't flush the binary protocol
buffers at that point, we lose entries.
[sgen] Separate binary protocol entries for concurrent update and finish.