[Add] Parameterizable decoder and verification flows

[ErickOF]

Implement a reusable binary-to-one-hot decoder and qualify its portable open-source behavior.

• Add parameterizable active-high decoding with validity reporting, non-power-of-two support, fail-closed X/Z behavior, and elaboration-time parameter guards.
• Add qualified output counts 1, 2, 3, 4, 5, 8, 16, and 32 with exhaustive legal, invalid, disabled, transition, and randomized testing.
• Add shared predicates, bound assertions, assumption-free format proofs, reusable coverage, and RTL-to-Yosys-netlist equivalence checks.
• Add functional, transition, line, branch, toggle, and formal coverage qualification with explicit release thresholds.
• Add invalid-parameter, inverted-enable mutation, and four-state X/Z detection campaigns.
• Add executable SDC and UPF static-intent checks plus CDC, DFT, synthesis, low-power, and exploratory physical collateral.
• Register the decoder in concurrent local, native GitHub Actions, and containerized module-profile execution.
• Preserve representative coverage evidence in native and containerized release manifests.
• Add interface, project configuration, power characterization, verification-plan, waiver, and template-aligned release documentation.
• Record commercial and physical checks as reviewed portable skips that remain mandatory in the first consuming integration.
• Verify all eight profiles natively and in the pinned Docker environment, including coverage and release-manifest validation.

[ErickOF]

Closed #2 .