Read back values of argument registers after end of hardware execution

In order to be able to read values from the argument registers after the hardware execution using get_arg, we need to read back the register values. This was added in this merge request.