Check compatibility of the initial state of a circuit and its environment

[Danil Sokolov]

Often the initial state of the interface signals of a circuit do not correspond to those in the environment (e.g. if the circuit in not properly reset). Verification results in this case are a bit confusing for the user.

It would be good to check the compatibility of the initial state of the circuit and its environment before proceeding with other verification tasks. If there is a problem, then report it to the user listing the signals that have conflicting states.