Text this: Verification of Correlated Equilibria in Concurrent Reachability Games