[rram_ctrl,dv] Add targeted checks for CsrExclCheck-excluded fields

Fields like PHY_STATUS.init_done are excluded from the generic predictor-based check since the RAL can't predict them; on_reg_access() needs hand-rolled invariant checks for these instead.

Start in the rram_ctrl,dv verification code and locate on_reg_access(), then inspect how CsrExclCheck-excluded fields such as PHY_STATUS.init_done bypass the generic predictor-based check. Identify the intended invariants for these fields and add targeted checks there. Done means excluded fields are checked without relying on RAL prediction and the relevant verification checks pass.

Written by the indexing model from the issue text.