fall back to the native JSON parser if the file is small enough

unfortunately, the streaming JSON parser isn't very fast, so it
makes sense to use the native string-based parser if the input
file size is known to be small enough.