Is Portra 800 not an option? I know it is more expensive, but it will give you more shadow detail with more normal contrast, I think. On the main question, I cannot answer. My own experience is that shadows are difficult to extract if underexposed and developed normally. So I would lean towards pushing, based on my normal use of the film.