Basic DFF asynchronous set/reset synthesis support.
More flexible synthesis of DFF with asynchronous set/reset.
Fix argument ordering for synthesized casez compare.