Exploiting Parallelism for Hard Problems in Abstract Argumentation