Statistics for Decidability and k-Regular Sequences