move verifyAllMuxes before width inference
Merge pull request #339 from ucb-bar/fix_verifyAllMuxes

move verifyAllMuxes before width inference(issue #335)