Decidability and Tameness in the Theory of Finite Semigroups