Cache result of isInObject/isInVCD
Remove verifyAllMuxes; make selects 1-bit wide by construction
Remove vestigial width inference error check