Supercell creation for $div/$mod worked all along, fixed test benches
Added "select -assert-count"
Added support for resource sharing in mux control logic
Added yet another resource sharing test case