Update PlanCheck and other JSONConverters. Fix bugs in equals method of spare constraints.
Add Tests for spare constraints JSON converters.