Added RTLIL::Module::add... helper methods
Improvements in verific command