This is about validating code, not about maintaining the integrity of the system in the presence of corruption or a party that is deliberately trying to break t

This is about validating code, not about maintaining the integrity of the system in the presence of corruption or a party that is deliberately trying to break things. It's actually helpful to be able to check that the system is sound in theory. Nobody is suggesting that you can use that as an excuse to get sloppy.