Add support for validating incoming Expr nodes that include manual variables, such as checking that the variables correctly exist on the circuit with the correct type.