Completed IsPrimeZeroDim for rings with finite coefficient rings.