Improved verific command (added support for some operators)
Fixed a typo in RTLIL::Module::addReduce...