Microsoft to fix 'novel bug class' discovered by Google engineer

Fixes to be included with Windows 10 19H1, scheduled for release in a few weeks.