Provide better non-GNU priority encoder implementation
Fix width inference for PriorityEncoder etc.