Make Transition Map Computation Multi-Threaded

[cannontwo]

Should be fairly simple; just use thread pool already implemented.

[cannontwo]

Can also optimize by recording during refinement the possible polygons that a polygon can be mapped into. We have this information when creating a new PWA function from a transition map, and it will save significantly on transition map computation.