fix strlen(), add bounds checks for strcpy
Merge branch 'softbounds' of github.com:andreas23/freebsd into softbounds