Verify a real UCDB gets produced against the actual CVA6/Ibex sims

[jahanzebkhalid-10Xe]

Part of Milestone 19 (Coverage Tooling Enablement -- Code Coverage).

Not just a trivial testbench -- recorded proof in testplans/results/.