ShaMap:
Extract AccountState and TransactionTree subclasses
Fix CoW semantics for updates