added more tests, attempting to fix deadlock in File::get_pos and File::seek