More fixes to the memory model

[mkorbel1]

Description & Motivation

This PR fixes some more bugs related to the memory model and adds more tests to catch the issues. Mainly:

• A read immediately following a write with zero-latency could result in old data being returned.
• A read on non-zero-latency could sometimes return data for a new address instead of the posedge sampled address.

Related Issue(s)

N/A

Testing

Added a bunch of new testing

Backwards-compatibility

Is this a breaking change that will not be backwards-compatible? If yes, how so?

No

Documentation

Does the change require any updates to documentation? If so, where? Are they included?

No