I strongly agree with your sentiment here. Building both deterministic and non-deterministic verification processes are the way to build sustainable software projects rather than focusing on every line of code.