Fixed async proc detection in mem2reg
Implemented $_DFFSR_ expression generator in verilog backend