Invariant tests of sumtree

[ZenGround0]

Exercise many adds and removes on the sumtree and then assert the invariant that sumtree nodes are equal to the sum of 2^height of the base array.