Progress in Verific bindings
Fixed typo in RTLIL::Module::{addSshl,addSshr}