Fixed a bunch of cross-tool editability bugs.

Also fixed finalization history bugs.