v0.2.0 - Out-of-order and QoS verification depth

This release adds legal out-of-order target completion across distinct AXI IDs, target-ordered AW/W ownership, eight real UVM runtime scenarios, 130 SystemC trace replays, 24 advanced concurrent-activity crosses, four leaf formal proof groups with mutation counterexamples, malformed-target checker tests, sustained QoS/fairness characterization, and deterministic SVG debug evidence. The complete release gate closes 18/18 measured criteria while preserving explicit open-source and non-signoff limitations.