Split out the memory slice code -> analyze_memory_slices

_data_entry: was used for non-CFG nodes in the loop that have no input node that is also inside the loop. But that actually never happens! I removed that array, and replaced the code with verification.