Statistics for Proving Properties of Fibonacci Representations via Automata Theory