Join solver thread in SchemeSolver destructor to prevent SIGABRT