Some hacks to make synchronized stores work properly in cosimulation.

Only the memory action is logged/checked. The register transfer is ignored both by
the simulator and testbench.