Made equals shallow to improve performance of mddReduce
Added a Constraint.dataSize: Int method for statistics.
Allow to desactivate solution checking in tests for non-XCSP problems