A version of IO#read that reads into a native buffer
This will be optimized at some future time to eliminate the double copy
[Validate]