Mixed Monotonicity for Efficient Reachability with Applications to Robust Safe Autonomy