Jane Street's tech lead Ron Minsky reports Antithesis found critical bugs in high-assurance software that were otherwise impossible to detect, enabling faster development as code…