Fix an inferred latch in SDRAM controller (access_is_read_nxt)
A few other minor cleanups