show correct Expected error for special satisfiers

we should always use the checker to check against if a call is
expected or not. using plain == would ignore the fact that
we are not comparing satisfiers
version bump and prepare release