explicit_tree_aut_test: add a test for iterators

Add a test that tests the problems of iterators returing a const
reference for operator*()
explicit_tree_aut: change iterators to return value for *

Iterators now return value instead of a constant reference for the *
operator.