Even more progress.

Basic support for watchers is almost done, but nested transactions don't yet
validate watchers when they commit (but watchers proposed in nested
transactions are correctly validated when the base transaction commits).