Clarify trigger CSR behavior when XLEN changes. (#597)

* Clarify trigger CSR behavior when XLEN changes.

Addresses #583.

* 32-bit writes clear inaccessible bits.

* Writes to *registers* clear inaccessible bits.