Non-Deterministic Testing Reaches Production Grade