Rvfi mem exokay and err

Created by: silabs-krdosvik

Added rvfi_mem_exokay and rvfi_mem_err. Use one bit for rvfi_mem_err since that is the rvfi standard.

Formal compiles. ci_check is green except from the clic and debug_test2 tests which seem to be affected by something else.