IIRC, Black also checks byte code before and after formatting to ensure source code functionality is unaffected.