The counterargument is that for sufficiently reliable software extensive testing is needed anyway, and if you do that you find the type errors "for free".

If the testing is insufficient, as in practice it often surely is, then static typing would seem to be more valuable.