Clarify implications of CSR read, write, halt

To remove the ambiguity about whether e.g.  reading a given CSR implies anything about other CSRs.