Initial version of RVFI OBI tracking

Created by: Silabs-ArjanB

SEC clean (minor RTL updates are just syntax; behavioral updates mostly)

New assertions pass if PMA is not included (-rc=pma_1) and fail otherwise.

Work is not complete yet:

• need to fix tracking for the scenario with enabled PMA
• need to actually feed OBI signals through RVFI
• need to add data OBI tracking

Reason for an initial PR is to easily be able to make an additional PR with some aligner related RTL updates (while keeping these RTL updates in a separate PR).

Signed-off-by: Arjan Bink Arjan.Bink@silabs.com