Fixed fsm_extract for wreduced muxes
Fixed sharing of reduce operator
Fixed "fsm -export"
Another fsm_extract bugfix
Improved FSM tests