Clarify always block arch state update visibility

[wysiwyng]

The current documentation does not explicitly state whether updates to the architectural state done in an always block should be visible in the following instruction behavior section. What is the consensus here?

Example:

Using this always block:

always {
    csr_inc {
        CSR[RV_CSR_CYCLE] += 1;
    }
}

What value would a CSRRx instruction return?