destroyProxy method
Destroy a proxy
Implementation
@override
void destroyProxy(int proxyId) {
assert(0 <= proxyId && proxyId < _nodeCapacity);
final node = _nodes[proxyId];
assert(node.child1 == null);
_removeLeaf(node);
_freeNode(node);
}