Improve perf for String.filter up to 3x#9509

cartermp merged 4 commits intodotnet:masterdotnet/fsharp:masterfrom

abelbraaksma:String.filter-perfabelbraaksma/fsharp:String.filter-perfCopy head branch name to clipboard