fresh constraints.cpp, offload testing routine, multiple testing

The testing routine is now in Derificator.cpp so as to simplify
attachment of fresh Constraints.cpp to be tested. The only change
required is adding a DoSelfTest member to Constraint class in
Constraints.h.