Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness