Function delete_subtree

* Deletes a subtree of tree by recursively calling itself on node's children. * node -- the node at the root of the subtree to be deleted. * destructive -- booelan flag indicating whether to delete node or just lazily mark it. * update_remaining_state_space -- boolean flag indicating whether to update the size of * the remaining search space (optional calculation in logger state) */