I would have the film devoped normally. Once you have your negatives in hand and are ready to print from them is when you decide on how best to adjust print exposure. Having your lab print a few contact sheets will give you a good idea of what will be the best exposure to print with.