parameterized strategies and parallel execution of tuples