There are a number of calls to ::ReleaseDC that aren't wrapped in the
VERIFY macro. We should always do this.

Should probably audit the rest of the code for other calls that ought to be
wrapped in the VERIFY macro.