Delete tasks when deleting a thread pool.

Fixes memory leak.

Test: test.py --jit
Change-Id: If339015f1629b42c2ff17c80e97f1303843ef878
3 files changed