What challenges does Code Correctness & Quality Review address?

GQ-0035