WFE/WFI in wb + pending irq can cause interrupt to be missed

Placeholder Henrik Fegran
2023-04-13T08:51:17Z

## WFE/WFI in wb + IRQ can cause interrupt to be missed
An wfi/wfe in wb while there is a pending and enabled interrupt for one cycle causes interrupt to be missed. In the example below the second pending and enabled interrupt wakes up the core and is taken.

### Steps to Reproduce
1. git hash: df6c2cd793b4
2. Assertion:
```
property p_higher_lvl_than_mintthresh_th_can_preempt;
clic.irq
##1 ($past(clic.priv) == current_priv_mode)
&& ($past(clic.level) > effective_clic_level)
&& mstatus_fields.mie
&& is_interrupt_allowed == 1'b1
|->
irq_ack
or
rvfi_valid[->1:2]
##0 rvfi_dbg_mode
or
rvfi_valid[->1:2]
##0 rvfi_intr.exception
or
rvfi_valid[->1:2]
##0 rvfi_trap.exception
or
rvfi_valid[->1:2]
##0 is_cause_nmi
;
endproperty : p_higher_lvl_than_mintthresh_th_can_preempt

a_higher_lvl_than_mintthresh_th_can_preempt: assert property(p_higher_lvl_than_mintthresh_th_can_preempt)
else
`uvm_error(info_tag,
$sformatf("Higher level than mintthresh should be able to interrupt"));

```
3. Logfile and/or wave-dump info (screen shots can be useful)
![image](https://user-images.githubusercontent.com/75469886/216921153-4e2269cf-a633-46ae-afa7-1e01bf880023.png)