Memory load calculations are generating duplicate reads

[MattWindsor91]

There's no deduplication at any stage in the process of calculating memory loads, so if a SequenceStep refers to the same binding in its control structure multiple times, it gets read multiple times. This isn't a soundness problem as the bindings are process-local, but it's still not great.