Renamed converters
Fixed mem-ctrl, so no need for constraint hacks. Also added sampling non-cart reads.