implemented more File::write(is_insert == false) tests -- deadlocking in File::read