core::rt: Make push_bytes raise read_error on EOF
core::rt: More work on Reader extensions and error handling