Extending development times (or increasing temperature) with Pyro developers substantially increases general stain while development is not increased proportionally, both issues are due to oxidization. Increasing dilution does work to get higher contrast without disproportionate levels of stain. If you want to consider that push processing is up to you. For push processing, I would personally look in other directions though - if you really must push process in the first place, as it is IMO always a bit of a compromise.