Verification Debt is the new Tech Debt · HackerTrans