Add tests for constraint propagation

[DimitriAlston]

For each operator that has constraint propagation routines, we need to create a NonlinearExpression that gives us direct access to the DirectedTree and the RelaxCache used in fprop! and rprop!.