Locally strongly transitive automata in the Černý conjecture and related problems