Constraint-based Causal Discovery for Non-Linear Structural Causal Models with Cycles and Latent Confounders