“It appears evident that, for the average team, insisting on writing tests first, before functional coding, improves quality.”