On the Parameterized Complexity of Associative and Commutative