Maybe it’s there, but if not, there should be an option ‘Do not allow quantised events of same pitch to have same start point’. (I called it ‘overlap’ for short, but that’s not strictly accurate.)
This would prevent the annoyingly common occurence of having two notes quantised to the same start point. If a quantise would make that happen, the notes should just stay where they were.