Expand verify-docs: check all src/ files for CRLF and missing final newline; fix violations

[Copilot]

verify-docs.sh only enforced whitespace hygiene on .cow files. This extends coverage to all src/ files for two additional checks, and fixes the existing violations found.

Script changes (scripts/verify-docs.sh)

New loop over find src/ -type f before the existing .cow checks:

while IFS= read -r src; do
  if grep -Pq $'\r' "$src" 2>/dev/null; then
    echo "CRLF: $src contains CRLF line terminators"
    failed=1
  fi
  if [ -s "$src" ]; then
    last=$(tail -c 1 "$src" | od -An -tx1 | tr -d ' \n')
    if [ "$last" != "0a" ]; then
      echo "NO_FINAL_NL: $src does not end with a newline"
      failed=1
    fi
  fi
done < <(find src/ -type f)

File fixes

• CRLF → LF: src/icon/{css,go,javascript,julia,kotlin,python,rust,typescript}.svg
• Added final newline: src/icon/{javascript,css,typescript,swift}.svg, src/array-layout.bs, src/bitint-lewg-slides.cow, src/modular-arithmetic.bs, src/constexpr-to-string.bs