verfiy all the muxes before width inference
Merge branch 'fix_binding_naming' of https://github.com/ucb-bar/chisel into fix_binding_naming