Android 10 source code show that Pixel 4 series will feature smooth, 90Hz displays