and_return with should_not_receive is deprecated. Fixes #826