It’s great to see interest in fixing this.
I’d like to note basic sensitivity on the exact hardware that prompted my workaround post is now far far better under 18.04. The mouse is no longer overly-sensitive out of the box. A small step in the right direction. 
On the other hand, bringing up mate-mouse-properties on a fresh install of 18.04 shows bad settings all the way left… until you move them! Now, you have no idea what they were actually set to. There’s a basic setting sync missing or something.