remove resolver features

these are no longer needed since we're using the gecode resolver in Solve
additionally, these were completely named wrong. Acceptance tests shouldn't test a component