Optimize dependence analysis in standard to handshake.

[stephenneuendorffer]

standard to handshake currently assumes that all memory accesses are dependent. This should make use of alias analysis to identify accesses to different memories and treat them as independent.