PROBCORE-542 No longer cache states calculated from the StateSpace on the Java side when performing consistency checking.