Validates that parameter references in the DSL refer to valid parameters.
For each param([:path, :to, :param]) in the topology, this verifier checks:
- The parameter path exists in the parameters section
- The parameter's unit type is compatible with the expected type at that DSL location