I don't think so, testing like you refer to is not scalable and even more inefficient. Letting an external auditors understand all the small technical details

I don't think so, testing like you refer to is not scalable and even more inefficient. Letting an external auditors understand all the small technical details and test them independently will basically halt any progress. It might make this specific change safer but for the long run will slow down innovation and development of better and safer products. This has some similarity to software development- we test much better but prefer to move faster to achieve a better overall quality and be able to fix issues faster and better