High performance .NET JSON encoder/decoder