Expand `addconstraint!` functionality

[ReubenJ]

Adding constraints to an already-created Iterator/Solver is a useful functionality to have when learning constraints on the fly. This involves adding functionality across both Search and Constraints.