Print size of automaton if verbose
BUGFIX: Check that value is within bounds for nonbool equality comparison
TRIV: ...was off by 1...but obvious