A few bug fixes in preparation of release.

Fix polygon intersection.
Atomic region updates (not working).
Fix proportionality.