[FIRRTL] Properly handle InstanceChoice in IMCP

[uenoku]

Currently instance results and ports referred from InstanceChoice op are marked overdefined pessimistically.
Technically it's allowed to propagate constant through instance choice as long as lattice states are merged properly.