Refactor check_rw_lookup

[KimiWu123]

Describe the feature you would like

Goals

• "We should do a systematic refactor for check_rw_lookup to make the logging code easier to maintain", by cc,
  Feat/#1474 rw lookup index error #1482 (review)
• Current design only supports one copy event in an assignment, we should find a more generic way to do the check
  Feat/#1474 rw lookup index error #1482 (comment) and
  here is a draft by @hero78119

However, we're doing word lo/hi refactor and should avoid any big changes for now. Better to do this after word lo/hi merged.

Additional context

No response