Statistics for Gröbner Bases Theory and The Diamond Lemma