GUI analysis should be multi-threaded. #12
Description
Currently, analysis of claims in the GUI is done in a batch. Ideally, we spawn a thread for each claim. This allows partial results to come in quick, and even yield results at all if some claims do not terminate in reasonable time.