Clear tracker for the current pool on destroy #3223

Job	Run time
Coding style	1m 12s
Build docs	59s
Spellcheck / Run spell check	11s
Fast builds / Fast builds (windows-latest, OFF, ON, OFF)	3m 28s
Fast builds / Fast builds (windows-latest, OFF, OFF, OFF)	1m 47s
Fast builds / Fast builds (ubuntu-latest, ON, ON, -DCMAKE_BUILD_TYPE=Release -DUMF_BUILD_BENCHMARKS=ON -DUMF_BU...	1s
Fast builds / Fast builds (ubuntu-latest, OFF, OFF, -DCMAKE_BUILD_TYPE=Release -DUMF_BUILD_BENCHMARKS=ON, OFF)	57s
Fast builds / Fast builds (ubuntu-latest, OFF, ON, -DCMAKE_BUILD_TYPE=Release, ON)	1m 1s
Fast builds / Fast builds (ubuntu-20.04, OFF, ON, -DCMAKE_BUILD_TYPE=Release, ON)	2m 0s
Basic builds	1s
Sanitizers	1s
DevDax	1s
Qemu	1s
Benchmarks	1s
MultiNuma	1s
GPU	1s
ProxyLib	1s
Valgrind	1s
	11m 45s

Provide feedback