Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API
Progress in Verific bindings