Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype