This patch implements actual dependencies checking using BatchAA. This adds memory dep edges between MemDGNodes.