Sprint 10: Race detector, formatter, syntax highlight fixes