"rvfi_intr" repeated mistakenly

Created by: silabs-robin

Component

Component:Other: For any other issues

Steps to Reproduce

1. cvverif: cv32e40s/dev, 48d51f
2. rtl: latest, afa8d7
3. tcf_cvverif, a_trap_mpp_general (that assert is for a different purpose, but caught this)

It seems like there is only 1 interrupt being acked, but some logic in rvfi re-issues the rvfi_intr. "// The succeeding instruction therefore needs to re-trigger the intr signals if it it did not reach the rvfi output.", but the intr did reach the output.