Bump PolySharp from 1.15.0 to 1.16.0 (#3228)