can someone please raise a PR in nmigen issues to move PriorityPicker over to nmigen? discussion on IRC: https://freenode.irclog.whitequark.org/nmigen/2020-08-03#27649557;