Added "abc -D" for setting delay target
Some improvements in FSM mapping and recoding
RIP $safe_pmux