To be honest, for commensurate reward, I&#x27;d probably be sufficiently confident that I could get something done bug-free in 5 years if it was something that I felt could hack out bug-full in a week.  Much of that time would go toward task-specific verification-related tooling...