[Update] Enable reusable PyUVM verification

[ErickOF]

Update the module template to consume mosaic-flow MF20260908V1 and demonstrate a shared verification architecture for SystemVerilog simulation, PyUVM, and formal verification.

• Pin the mosaic-flow submodule to the MF20260908V1 release.
• Add independently configurable property, assertion, coverage, and PyUVM filelists.
• Separate reusable sequences and properties from assertion and coverage directives.
• Reuse assertion and coverage wrappers across simulation and formal verification.
• Add Yosys-compatible formal fallbacks and a dedicated cover-reachability configuration.
• Add a representative PyUVM test with separate Python functional coverage.
• Enable the open-source PyUVM flow and keep commercial simulation disabled by default.
• Validate JUnit, simulator-native coverage, functional coverage, and compiled bind evidence.
• Extend native and containerized GitHub Actions with pinned PyUVM tooling and evidence checks.
• Record Python, cocotb, PyUVM, and simulator versions in CI evidence.
• Update the container runtime dependencies required by cocotb
• Document PyUVM integration, shared SVA compilation, multi-module use, and release evidence.
• Verify the complate open-source quality gate natively and in the pinned container.