set pool base/topAddr

- fixes assertion in Pool.invariant because of incomplete
  destruction when baseAddr was never set