Improved handling of $pmux cells in fsm_extract
Using $pmux info in fsm_extract to optimize transition ctrl_in patterns
Don't change existing binary FSM encoding if it is already optimal