pytholite: use eval instead of literal_eval
genlib/coding.py: binary vs. one-hot, priority coding
coding.py: rewrite If() to make verilog more readable
support re-slicing and non-unit step size

* support slicing of Slice/Cat/Replicate through lowering
* support non-unit step size slices through unpacking and Cat()
merge