Rename tests involving Constraint.neighbors. Add tests for various cases involving only binary constraints when running CSP.solve().