Add revised pointer-overlap checks.

This patch adds a new option to macpo.sh of the form --macpo:overlap-check=<location>. The instrumented code includes function calls after the loop under consideration that pass start and end addresses of references.