A push development will increase the contrast, but won't make any meaningful difference with respect to shadow detail.

If the nature of the light and the subject are such that an increase in contrast might help, then go ahead and order a one stop "push".

If, however, your shots include a lot of highlight flesh tones and human features, you may prefer to leave the contrast unchanged, knowing that the "near shadows" will lack contrast.