Assigned priority to threads, such that the job that applies changes is more likely to get scheduled before the job that computes the number of fixes. #24
Also fixed a race condition that causes the UI thread to open a resolution while the background thread has already opened it.
Made sure the refresh button actually recomputes the tree.