About the image size you can use an optimization plugin like this one https://wordpress.org/plugins/ewww-image-optimizer/

about the filename, i am not sure tbh, let me ask the devs.