Are there any plans to formally verify the existing MakerDAO contracts? Are there any plans to formally verify the existing MakerDAO contracts? r/makerdao ETH

All references to formal verification (that I can find) are about the upcoming multi-collateral contracts. I'm glad Maker is doing that for future deployments but what about the existing contracts that are currently securing 1.77 MILLION ETH?