[cheriot,trvk] Include TRVK filter in Ibex DV

[thommythomaso]

An extensive test combined in combination with Ibex needs to be provided to verify the TRVK filter in Ibex without relying on OpenTitan. For this DV item, dv/uvm/core_ibex/tb/core_ibex_tb_top.sv and dv/formal/check/top.sv have to be extended.