A more efficient ReverseString using char[]