On the finite generation of coordinate rings of affine group schemes over discrete valuation rings